|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
ActiveLearning | Learn clauses with a great number of active variables. |
FixedLengthLearning | A learning scheme for learning constraints of size smaller than a given constant. |
LimitedLearning | Learn only clauses which size is smaller than a percentage of the number of variables. |
MiniSATLearning | MiniSAT learning scheme. |
NoLearningButHeuristics | Allows MiniSAT to do backjumping without learning. |
NoLearningNoHeuristics | Allows MiniSAT to do backjumping without learning. |
Various learning strategies.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |