Package kodkod.engine.fol2sat.ordering

Class Summary

DefaultOrdering	Default Ordering Method.
InitializePrimaryVariables	Uniformly initialize SAT solver's internal score to prioritize primary variables
InputRestrictedBranching	Restrict SAT solver to branch on primary variables only
OrderingMethod	Abstract super-class of all ordering methods.