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.pb |
Implementations of pseudo boolean solvers
|
org.sat4j.sat |
Implementation of a sat4j Launcher.
|
Modifier and Type | Class and Description |
---|---|
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 | 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 | 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 |
Lanceur
Deprecated.
|
class |
Launcher
This class is used to launch the SAT solvers from the command line.
|
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.