Classes | |
| class | Clasp::ClaspBerkmin |
| A variant of the BerkMin decision heuristic from the BerkMin Sat-Solver. More... | |
| class | Clasp::ClaspVmtf |
| Variable Move To Front decision strategies inspired by Siege. More... | |
| class | Clasp::ClaspVsids_t< ScoreType > |
| A variable state independent decision heuristic favoring variables that were active in recent conflicts. More... | |
| class | Clasp::DecisionHeuristic |
| Base class for decision heuristics to be used in a Solver. More... | |
| class | Clasp::DomainHeuristic |
| A VSIDS heuristic supporting additional domain knowledge. More... | |
| class | Clasp::SelectFirst |
| Selects the first free literal w.r.t to the initial variable order. More... | |