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.
 



Copyright © 2007 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.