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

Packages that use Solver

Package	Description
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	Implementations of pseudo boolean solvers

Uses of Solver in org.sat4j.csp

Methods in org.sat4j.csp that return Solver

Modifier and Type	Method and Description
static <L extends ILits> Solver<DataStructureFactory>	SolverFactory.newMiniSAT(DataStructureFactory dsf)

Uses of Solver in org.sat4j.maxsat

Methods in org.sat4j.maxsat that return Solver

Modifier and Type	Method and Description
static Solver<DataStructureFactory>	SolverFactory.newMiniMaxSAT() Builds a SAT solver for the MAX sat evaluation.

Uses of Solver in org.sat4j.minisat

Methods in org.sat4j.minisat that return Solver

Modifier and Type	Method and Description
static Solver<DataStructureFactory>	SolverFactory.newBestWL()
static Solver<DataStructureFactory>	SolverFactory.newGlucose()
static Solver<DataStructureFactory>	SolverFactory.newMiniLearning(DataStructureFactory dsf, IOrder order)
static Solver<DataStructureFactory>	SolverFactory.newMiniLearningHeap()
static Solver<DataStructureFactory>	SolverFactory.newMiniLearningHeap(DataStructureFactory dsf)
static Solver<DataStructureFactory>	SolverFactory.newMiniLearningHeapExpSimp()
static Solver<DataStructureFactory>	SolverFactory.newMiniLearningHeapRsatExpSimp()
static Solver<DataStructureFactory>	SolverFactory.newMiniLearningHeapRsatExpSimpBiere()
static Solver<DataStructureFactory>	SolverFactory.newMiniSATHeap()
static Solver<DataStructureFactory>	SolverFactory.newMiniSATHeap(DataStructureFactory dsf)

Uses of Solver in org.sat4j.minisat.core

Methods in org.sat4j.minisat.core with parameters of type Solver

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
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

Modifier and Type	Class and Description
class	PBSolver
class	PBSolverCautious
class	PBSolverClause
class	PBSolverCP
class	PBSolverResCP
class	PBSolverResolution
class	PBSolverWithImpliedClause