|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||