Package | Description |
---|---|
org.sat4j |
Contains a command line launcher for the SAT solvers.
|
org.sat4j.minisat |
Implementation of the MiniSAT specification in Java.
|
org.sat4j.pb |
Implementations of pseudo boolean solvers
|
org.sat4j.pb.tools |
Implementation of different tools for pseudo boolean solvers
|
org.sat4j.sat |
Implementation of a sat4j Launcher.
|
org.sat4j.tools |
Tools to be used on top of an
ISolver . |
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,
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,
String... solverNames) |
Modifier and Type | Method and Description |
---|---|
static <T extends ISolver> |
Solvers.showAvailableSolvers(ASolverFactory<T> afactory,
ILogAble logger) |
static <T extends ISolver> |
Solvers.showAvailableSolvers(ASolverFactory<T> afactory,
String framework,
ILogAble logger) |
Constructor and Description |
---|
AllMUSes(ASolverFactory<? extends ISolver> factory) |
AllMUSes(boolean group,
ASolverFactory<? extends ISolver> factory) |
CheckMUSSolutionListener(ASolverFactory<? extends ISolver> factory) |
ManyCore(ASolverFactory<S> factory,
String... solverNames) |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.