Package | Description |
---|---|
org.sat4j |
Contains a command line launcher for the SAT solvers.
|
org.sat4j.csp |
Classes needed for CSP to SAT translation.
|
org.sat4j.maxsat |
MAXSAT and Weighted Max SAT framework.
|
org.sat4j.minisat.core |
Implementation of the MiniSAT solver skeleton.
|
org.sat4j.pb |
Implementations of pseudo boolean solvers
|
org.sat4j.sat |
Implementation of a sat4j Launcher.
|
org.sat4j.sat.visu |
Implementation of different visualization for the remote control.
|
org.sat4j.specs |
Those classes are intended for users dealing with SAT solvers as black boxes.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractLauncher
That class is used by launchers used to solve decision problems, i.e.
|
class |
AbstractOptimizationLauncher
Deprecated.
|
class |
BasicLauncher<T extends ISolver>
Very simple launcher, to be used during the SAT competition or the SAT race
for instance.
|
class |
MUSLauncher |
Modifier and Type | Method and Description |
---|---|
void |
ILauncherMode.displayResult(ISolver solver,
IProblem problem,
ILogAble logger,
PrintWriter out,
Reader reader,
long beginTime,
boolean displaySolutionLine)
Output of the launcher when the solver stops
|
void |
ILauncherMode.solve(IProblem problem,
Reader reader,
ILogAble logger,
PrintWriter out,
long beginTime)
Main solver call: one call for a decision problem, a loop for an
optimization problem.
|
Modifier and Type | Class and Description |
---|---|
class |
CSPLauncher |
Modifier and Type | Class and Description |
---|---|
class |
GenericOptLauncher
Generic launcher to be used for solving optimization problems.
|
Modifier and Type | Field and Description |
---|---|
protected ILogAble |
Solver.out |
Modifier and Type | Method and Description |
---|---|
ILogAble |
ICDCL.getLogger() |
ILogAble |
Solver.getLogger() |
Modifier and Type | Method and Description |
---|---|
void |
ICDCL.setLogger(ILogAble out) |
void |
Solver.setLogger(ILogAble out) |
Constructor and Description |
---|
Solver(LearningStrategy<D> learner,
D dsf,
SearchParams params,
IOrder order,
RestartStrategy restarter,
ILogAble logger) |
Modifier and Type | Class and Description |
---|---|
class |
LanceurPseudo2005
Launcher especially dedicated to the pseudo boolean 05 evaluation (@link
http://www.cril.univ-artois.fr/PB05/).
|
class |
LanceurPseudo2007
Launcher for the Pseudo Boolean 2007 competition.
|
class |
LanceurPseudo2007Eclipse |
Modifier and Type | Class and Description |
---|---|
class |
DetailedCommandPanel
This panel contains buttons that control restart and clean on solver.
|
class |
Lanceur
Deprecated.
|
class |
Launcher
This class is used to launch the SAT solvers from the command line.
|
class |
RemoteControlFrame
JFrame for the remote control.
|
Modifier and Type | Method and Description |
---|---|
ILogAble |
RemoteControlStrategy.getLogger() |
Modifier and Type | Method and Description |
---|---|
protected static ICDCL |
Solvers.configureFromString(String solverconfig,
ICDCL theSolver,
ILogAble logger) |
static ICDCL |
Solvers.configureSolver(String[] args,
ILogAble logger) |
void |
RemoteControlStrategy.setLogger(ILogAble logger) |
static void |
Solvers.showAvailableConstraintsCleaningStrategies(ILogAble logger) |
static void |
Solvers.showAvailableLearning(ILogAble logger) |
static void |
Solvers.showAvailableOrders(ILogAble logger) |
static void |
Solvers.showAvailablePhase(ILogAble logger) |
static void |
Solvers.showAvailableRestarts(ILogAble logger) |
static <T extends ISolver> |
Solvers.showAvailableSolvers(ASolverFactory<T> afactory,
ILogAble logger) |
static <T extends ISolver> |
Solvers.showAvailableSolvers(ASolverFactory<T> afactory,
String framework,
ILogAble logger) |
static void |
Solvers.showParams(ILogAble logger) |
static void |
Solvers.showSimplifiers(ILogAble logger) |
static void |
Solvers.stringUsage(ILogAble logger) |
static void |
Solvers.usage(ILogAble logger) |
Constructor and Description |
---|
RemoteControlStrategy(ILogAble log) |
RestartCommandComponent(String name,
SolverController controller,
String initialRestartStrategy,
ILogAble logger) |
Constructor and Description |
---|
GnuplotBasedSolverVisualisation(VisuPreferences visuPref,
int nbVar,
String path,
ILogAble logger) |
Modifier and Type | Field and Description |
---|---|
static ILogAble |
ILogAble.CONSOLE |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.