Module ordering 

Variable ordering heuristics.

Enums

Ordering

Variable ordering strategy for search.

Functions

select_variable

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