Uses of Class
org.sat4j.core.ASolverFactory

Packages that use ASolverFactory

org.sat4j	Contains a command line launcher for the SAT solvers.
org.sat4j.minisat	Implementation of the MiniSAT specification in Java.
org.sat4j.pb
org.sat4j.pb.tools
org.sat4j.sat
org.sat4j.tools	Tools to be used on top of an ISolver.

Uses of ASolverFactory in org.sat4j

Subclasses of ASolverFactory in org.sat4j

class

LightFactory That class is the entry point to the default, best performing configuration of SAT4J.

Methods in org.sat4j with parameters of type ASolverFactory

protected <T extends ISolver> void

AbstractLauncher.showAvailableSolvers(ASolverFactory<T> afactory)

Constructors in org.sat4j with parameters of type ASolverFactory

BasicLauncher(ASolverFactory<T> factory)

Uses of ASolverFactory in org.sat4j.minisat

Subclasses of ASolverFactory in org.sat4j.minisat

class

SolverFactory User friendly access to pre-constructed solvers.

Uses of ASolverFactory in org.sat4j.pb

Constructors in org.sat4j.pb with parameters of type ASolverFactory

LanceurPseudo2007(ASolverFactory<IPBSolver> factory)

Uses of ASolverFactory in org.sat4j.pb.tools

Constructors in org.sat4j.pb.tools with parameters of type ASolverFactory

ManyCorePB(ASolverFactory<IPBSolver> factory, String... solverNames)

Uses of ASolverFactory in org.sat4j.sat

Fields in org.sat4j.sat declared as ASolverFactory

protected ASolverFactory<ISolver>

Lanceur.factory

Uses of ASolverFactory in org.sat4j.tools

Constructors in org.sat4j.tools with parameters of type ASolverFactory

ManyCore(ASolverFactory<S> factory, String... solverNames)