Uses of Package
org.sat4j.minisat.learning

Packages that use org.sat4j.minisat.learning

Package	Description
org.sat4j.minisat.learning	Various learning strategies.

Classes in org.sat4j.minisat.learning used by org.sat4j.minisat.learning

Class and Description
LimitedLearning Learn only clauses which size is smaller than a percentage of the number of variables.