|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
|---|---|
| ActiveLearning<D extends DataStructureFactory> | Learn clauses with a great number of active variables. |
| ClauseOnlyLearning<D extends DataStructureFactory> | The solver only records among all the constraints only the clauses. |
| FixedLengthLearning<D extends DataStructureFactory> | A learning scheme for learning constraints of size smaller than a given constant. |
| LimitedLearning<D extends DataStructureFactory> | Learn only clauses which size is smaller than a percentage of the number of variables. |
| MiniSATLearning<D extends DataStructureFactory> | MiniSAT learning scheme. |
| NoLearningButHeuristics<D extends DataStructureFactory> | Allows MiniSAT to do backjumping without learning. |
| NoLearningNoHeuristics<D extends DataStructureFactory> | Allows MiniSAT to do backjumping without learning. |
| PercentLengthLearning<D extends DataStructureFactory> | Selects the constraints to learn according to its length as a percentage of the total number of variables in the solver universe. |
Various learning strategies.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||