|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Solver | |
---|---|
org.sat4j.csp | Classes needed for CSP to SAT translation. |
org.sat4j.maxsat | MAXSAT and Weighted Max SAT framework. |
org.sat4j.minisat | Implementation of the MiniSAT specification in Java. |
org.sat4j.minisat.core | Implementation of the MiniSAT solver skeleton. |
org.sat4j.minisat.learning | Various learning strategies. |
org.sat4j.pb.core |
Uses of Solver in org.sat4j.csp |
---|
Methods in org.sat4j.csp that return Solver | ||
---|---|---|
static
|
SolverFactory.newMiniSAT(DataStructureFactory dsf)
|
Uses of Solver in org.sat4j.maxsat |
---|
Methods in org.sat4j.maxsat that return Solver | |
---|---|
static Solver<DataStructureFactory> |
SolverFactory.newMiniMaxSAT()
Builds a SAT solver for the MAX sat evaluation. |
Uses of Solver in org.sat4j.minisat |
---|
Uses of Solver in org.sat4j.minisat.core |
---|
Methods in org.sat4j.minisat.core with parameters of type Solver | |
---|---|
void |
LearningStrategy.setSolver(Solver<D> s)
|
Uses of Solver in org.sat4j.minisat.learning |
---|
Methods in org.sat4j.minisat.learning with parameters of type Solver | |
---|---|
void |
MiniSATLearning.setSolver(Solver<D> s)
|
void |
LimitedLearning.setSolver(Solver<D> s)
|
void |
ActiveLearning.setSolver(Solver<D> s)
|
Uses of Solver in org.sat4j.pb.core |
---|
Subclasses of Solver in org.sat4j.pb.core | |
---|---|
class |
PBSolver
|
class |
PBSolverCautious
|
class |
PBSolverClause
|
class |
PBSolverCP
|
class |
PBSolverMerging
|
class |
PBSolverResCP
|
class |
PBSolverResolution
|
class |
PBSolverWithImpliedClause
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |