|
Classes in org.sat4j used by org.sat4j |
AbstractLauncher
That class is used by launchers used to solve decision problems, i.e. |
AbstractOptimizationLauncher
This class is intended to be used by launchers to solve optimization
problems, i.e. problems for which a loop is needed to find the optimal
solution. |
ExitCode
Enumeration allowing to manage easily exit code for the SAT and PB
Competitions. |
LanceurPseudo2005
Launcher especially dedicated to the pseudo boolean 05 evaluation (@link
http://www.cril.univ-artois.fr/PB05/). |
ResultCode
|