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.