Package org.sat4j

Contain a command line launcher for the SAT solvers.

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.

Package org.sat4j Description

Contain a command line launcher for the SAT solvers.