Package | Description |
---|---|
org.sat4j | |
org.sat4j.pb |
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 |
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 |