org.kahina.logic.sat.muc.heuristics
Classes
AscendingIndexHeuristic
AscendingRelevanceHeuristic
CenteredIndexHeuristic
CenteredRelevanceHeuristic
DescendingIndexHeuristic
DescendingRelevanceHeuristic
ReductionHeuristic
SingleStepHeuristic