|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
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
|
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |