|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
Lanceur | This class is used to launch the SAT solvers from the command line. |
LanceurPseudo2005 | Launcher especially dedicated to the pseudo boolean 05 evaluation (@link http://www.cril.univ-artois.fr/PB05/). |
LanceurPseudo2005Dicho | |
MoreThanSAT | This is an example of use of the SAT4J library for computing the backbone of a CNF or to compute the number of solutions of a CNF. |
Enum Summary | |
---|---|
Lanceur.ExitCode | Enumeration allowing to manage easily exit code for the SAT and PB Competitions. |
Contain a command line launcher for the SAT solvers.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |