Uses of Package
org.sat4j.minisat.learning

Packages that use org.sat4j.minisat.learning

org.sat4j.minisat.learning

Various learning strategies.

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

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