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.maxsat.reader |
Some utility classes to read problems from plain text files.
|
org.sat4j.pb |
Implementations of pseudo boolean solvers
|
org.sat4j.pb.reader |
Readers for opb instances.
|
org.sat4j.reader |
Some utility classes to read problems from plain text files.
|
org.sat4j.sat |
Implementation of a sat4j Launcher.
|
Modifier and Type | Field and Description |
---|---|
protected Reader |
AbstractLauncher.reader |
Modifier and Type | Method and Description |
---|---|
protected abstract Reader |
AbstractLauncher.createReader(ISolver theSolver,
String problemname) |
protected Reader |
BasicLauncher.createReader(ISolver theSolver,
String problemname) |
protected Reader |
MUSLauncher.createReader(ISolver theSolver,
String problemname) |
Reader |
AbstractLauncher.getReader() |
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 | Method and Description |
---|---|
protected Reader |
CSPLauncher.createReader(ISolver aSolver,
String problemname) |
Modifier and Type | Method and Description |
---|---|
protected Reader |
GenericOptLauncher.createReader(ISolver aSolver,
String problemname) |
Modifier and Type | Class and Description |
---|---|
class |
MSInstanceReader |
class |
WDimacsReader
Simple reader for the weighted maxsat problem.
|
Modifier and Type | Method and Description |
---|---|
protected Reader |
MSInstanceReader.handleFileName(String fname,
String prefix) |
Modifier and Type | Method and Description |
---|---|
protected Reader |
LanceurPseudo2007Eclipse.createReader(ISolver theSolver,
String problemname) |
protected Reader |
LanceurPseudo2005.createReader(ISolver theSolver,
String problemname) |
protected Reader |
LanceurPseudo2007.createReader(ISolver theSolver,
String problemname) |
Modifier and Type | Class and Description |
---|---|
class |
JSONPBReader
Simple JSON reader for boolean optimization problems.
|
class |
OPBEclipseReader2007 |
class |
OPBReader2005
Based on the "Official" reader for the Pseudo Boolean evaluation 2005.
|
class |
OPBReader2006
Reader complying to the PB06 input format.
|
class |
OPBReader2007
Reader complying with the PB07 input format.
|
class |
OPBReader2010 |
class |
OPBReader2012
OPBReader allowing to read several objective functions in an OPB file.
|
class |
PBInstanceReader
An reader having the responsibility to choose the right reader according to
the input.
|
Modifier and Type | Method and Description |
---|---|
protected Reader |
PBInstanceReader.handleFileName(String fname,
String prefix) |
Modifier and Type | Class and Description |
---|---|
class |
AAGReader
Reader for the ASCII And Inverter Graph format defined by Armin Biere.
|
class |
AIGReader
Reader for the Binary And Inverter Graph format defined by Armin Biere.
|
class |
CSPExtSupportReader |
class |
CSPInstanceReader
An reader having the responsability to choose the right reader according to
the input.
|
class |
CSPReader
This class is a CSP to SAT translator that is able to read a CSP problem
using the First CSP solver competition input format and that translates it
into clausal and cardinality (equality) constraints.
|
class |
CSPSupportReader |
class |
DimacsReader
Very simple Dimacs file parser.
|
class |
GroupedCNFReader |
class |
InstanceReader
An reader having the responsability to choose the right reader according to
the input.
|
class |
JSONReader<S extends ISolver>
Simple JSON reader for clauses and cardinality constraints.
|
class |
LecteurDimacs
Dimacs Reader written by Frederic Laihem.
|
class |
XMLCSPReader |
Modifier and Type | Method and Description |
---|---|
protected Reader |
InstanceReader.handleFileName(String fname,
String prefix) |
Modifier and Type | Method and Description |
---|---|
protected Reader |
DetailedCommandPanel.createReader(ISolver theSolver,
String problemname) |
protected Reader |
Launcher.createReader(ISolver theSolver,
String problemname) |
protected Reader |
Lanceur.createReader(ISolver theSolver,
String problemname)
Deprecated.
|
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.