org.sat4j.minisat.orders
Classes 
JWOrder
MyOrder
NegativeLiteralSelectionStrategy
PhaseInLastLearnedClauseSelectionStrategy
PositiveLiteralSelectionStrategy
PureOrder
RandomLiteralSelectionStrategy
RSATPhaseSelectionStrategy
UserFixedPhaseSelectionStrategy
VarOrder
VarOrderHeap