Uses of Class
org.sat4j.minisat.core.SearchParams

Packages that use SearchParams
org.sat4j.minisat.core Implementation of the MiniSAT solver skeleton. 
 

Uses of SearchParams in org.sat4j.minisat.core
 

Constructors in org.sat4j.minisat.core with parameters of type SearchParams
Solver(AssertingClauseGenerator acg, LearningStrategy learner, DataStructureFactory dsf, SearchParams params, IOrder order)