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

Packages that use Solver

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.

Uses of Solver in org.sat4j.minisat

Methods in org.sat4j.minisat that return Solver

static Solver<MixedDataStructureDanielWL>	SolverFactory.newBackjumping()
static Solver<DataStructureFactory>	SolverFactory.newBest17()
static Solver<DataStructureFactory>	SolverFactory.newBestHT()
static Solver<DataStructureFactory>	SolverFactory.newBestSingleWL()
static Solver<DataStructureFactory>	SolverFactory.newBestWL()
static Solver<DataStructureFactory>	SolverFactory.newDefaultAutoErasePhaseSaving()
static Solver<DataStructureFactory>	SolverFactory.newDefaultMS21PhaseSaving()
static Solver<DataStructureFactory>	SolverFactory.newGlucose()
static Solver<DataStructureFactory>	SolverFactory.newGreedySolver()
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.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()

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)