Package | Description |
---|---|
org.sat4j | |
org.sat4j.minisat | |
org.sat4j.pb | |
org.sat4j.pb.tools | |
org.sat4j.tools |
Modifier and Type | Class and Description |
---|---|
class |
LightFactory
That class is the entry point to the default, best performing configuration
of SAT4J.
|
Modifier and Type | Method and Description |
---|---|
protected <T extends ISolver> |
AbstractLauncher.showAvailableSolvers(ASolverFactory<T> afactory) |
protected <T extends ISolver> |
AbstractLauncher.showAvailableSolvers(ASolverFactory<T> afactory,
java.lang.String framework) |
Constructor and Description |
---|
BasicLauncher(ASolverFactory<T> factory) |
Modifier and Type | Class and Description |
---|---|
class |
SolverFactory
User friendly access to pre-constructed solvers.
|
Constructor and Description |
---|
LanceurPseudo2007(ASolverFactory<IPBSolver> factory) |
Constructor and Description |
---|
ManyCorePB(ASolverFactory<IPBSolver> factory,
java.lang.String... solverNames) |
Constructor and Description |
---|
AllMUSes(ASolverFactory<? extends ISolver> factory) |
AllMUSes(boolean group,
ASolverFactory<? extends ISolver> factory) |
CheckMUSSolutionListener(ASolverFactory<? extends ISolver> factory) |
ManyCore(ASolverFactory<S> factory,
java.lang.String... solverNames) |