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