Module ordering 

Variable ordering heuristics.

Enums

Ordering

Variable ordering strategy for search.

Functions

precompute_var_wdeg

Precompute each variable’s frozen weighted degree — Σ of its incident constraint weights — the denominator of the Ordering::Mrv score.

select_variable

Select the next unassigned variable from the stack according to the ordering heuristic.