Package org.sat4j

Contain a command line launcher for the SAT solvers.

See:
Description

Class Summary

AbstractLauncher
CSPLauncher
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	That launcher has not been tested thoroughtly.
Messages	That class is intented to manage internationalisation within the application.
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

ExitCode

Enumeration allowing to manage easily exit code for the SAT and PB Competitions.

Package org.sat4j Description

Contain a command line launcher for the SAT solvers.