Package org.sat4j.minisat.learning

Various learning strategies.

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.
 

Package org.sat4j.minisat.learning Description

Various learning strategies.