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

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 <L extends ILits> Solver<DataStructureFactory>

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

Methods in org.sat4j.minisat that return Solver

static Solver<MixedDataStructureDanielWL>	SolverFactory.newBackjumping()
static Solver<DataStructureFactory>	SolverFactory.newBestHT()
static Solver<DataStructureFactory>	SolverFactory.newBestWL()
static Solver<DataStructureFactory>	SolverFactory.newDefaultAutoErasePhaseSaving()
static Solver<DataStructureFactory>	SolverFactory.newGlucose()
static Solver<DataStructureFactory>	SolverFactory.newGreedySolver()
static Solver<DataStructureFactory>	SolverFactory.newMiniLearning(DataStructureFactory dsf, IOrder order)
static Solver<DataStructureFactory>	SolverFactory.newMiniLearningCBWLPure()
static Solver<DataStructureFactory>	SolverFactory.newMiniLearningHeap()
static Solver<DataStructureFactory>	SolverFactory.newMiniLearningHeap(DataStructureFactory dsf)
static Solver<DataStructureFactory>	SolverFactory.newMiniLearningHeapExpSimp()
static Solver<DataStructureFactory>	SolverFactory.newMiniLearningHeapEZSimp()
static Solver<DataStructureFactory>	SolverFactory.newMiniLearningHeapEZSimpLongRestarts()
static Solver<DataStructureFactory>	SolverFactory.newMiniLearningHeapEZSimpNoRestarts()
static Solver<DataStructureFactory>	SolverFactory.newMiniLearningHeapRsatExpSimp()
static Solver<DataStructureFactory>	SolverFactory.newMiniLearningHeapRsatExpSimpBiere()
static Solver<DataStructureFactory>	SolverFactory.newMiniLearningHeapRsatExpSimpLuby()
static Solver<DataStructureFactory>	SolverFactory.newMiniLearningPure()
static Solver<DataStructureFactory>	SolverFactory.newMiniSATHeap()
static Solver<DataStructureFactory>	SolverFactory.newMiniSATHeap(DataStructureFactory dsf)
static Solver<DataStructureFactory>	SolverFactory.newMiniSATHeapExpSimp()
static Solver<DataStructureFactory>	SolverFactory.newMiniSATHeapEZSimp()
static Solver<MixedDataStructureDanielWL>	SolverFactory.newRelsat()

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