Uses of Interface
org.sat4j.minisat.core.ICDCL

Packages that use ICDCL

org.sat4j.minisat	Implementation of the MiniSAT specification in Java.
org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.
org.sat4j.pb.core	Implementations of pseudo boolean solvers
org.sat4j.sat	Implementation of a sat4j Launcher.

Uses of ICDCL in org.sat4j.minisat

Methods in org.sat4j.minisat that return ICDCL

static ICDCL<MixedDataStructureDanielWL>	SolverFactory.newBackjumping()
static ICDCL<DataStructureFactory>	SolverFactory.newBest17()
static ICDCL<DataStructureFactory>	SolverFactory.newBestHT()
static ICDCL<DataStructureFactory>	SolverFactory.newBestSingleWL()
static ICDCL<DataStructureFactory>	SolverFactory.newDefaultAutoErasePhaseSaving()
static ICDCL<DataStructureFactory>	SolverFactory.newDefaultMS21PhaseSaving()
static ICDCL<DataStructureFactory>	SolverFactory.newGreedySolver()
static ICDCL<DataStructureFactory>	SolverFactory.newMiniLearningHeapEZSimp()
static ICDCL<DataStructureFactory>	SolverFactory.newMiniLearningHeapEZSimpLongRestarts()
static ICDCL<DataStructureFactory>	SolverFactory.newMiniLearningHeapEZSimpNoRestarts()
static ICDCL<DataStructureFactory>	SolverFactory.newMiniLearningHeapRsatExpSimpLuby()
static ICDCL<DataStructureFactory>	SolverFactory.newMiniLearningPure()
static ICDCL<DataStructureFactory>	SolverFactory.newMiniSATHeapExpSimp()
static ICDCL<DataStructureFactory>	SolverFactory.newMiniSATHeapEZSimp()

Uses of ICDCL in org.sat4j.minisat.core

Classes in org.sat4j.minisat.core that implement ICDCL

class

Solver<D extends DataStructureFactory> The backbone of the library providing the modular implementation of a MiniSAT (Chaff) like solver.

Uses of ICDCL in org.sat4j.pb.core

Subinterfaces of ICDCL in org.sat4j.pb.core

interface

IPBCDCLSolver<D extends PBDataStructureFactory> Abstraction for Conflict Driven Clause Learning PBSolver.

Classes in org.sat4j.pb.core that implement ICDCL

class	PBSolver
class	PBSolverCautious
class	PBSolverClause
class	PBSolverCP
class	PBSolverResCP
class	PBSolverResolution
class	PBSolverWithImpliedClause

Uses of ICDCL in org.sat4j.sat

Methods in org.sat4j.sat that return ICDCL

protected static ICDCL	Solvers.configureFromString(String solverconfig, ICDCL theSolver, ICDCLLogger logger)
protected ICDCL	Lanceur.configureSolver(String[] args) Configure the solver according to the command line parameters.
static ICDCL	Solvers.configureSolver(String[] args, ICDCLLogger logger)
ICDCL	RemoteControlStrategy.getSolver()

Methods in org.sat4j.sat with parameters of type ICDCL

protected static ICDCL	Solvers.configureFromString(String solverconfig, ICDCL theSolver, ICDCLLogger logger)
protected Reader	DetailedCommandPanel.createReader(ICDCL theSolver, String problemname)
void	RemoteControlStrategy.setSolver(ICDCL solver)