Package org.sat4j.pb

Interface Summary

IPBSolver

A solver able to deal with pseudo boolean constraints.

Class Summary

LanceurPseudo2005	Launcher especially dedicated to the pseudo boolean 05 evaluation (@link http://www.cril.univ-artois.fr/PB05/).
LanceurPseudo2007	Launcher for the Pseudo Boolean 2007 competition.
LanceurPseudo2007Eclipse
ObjectiveFunction	Abstraction for an Objective Function for Pseudo Boolean Optimization.
OptToPBSATAdapter	Utility class to use optimization solvers instead of simple SAT solvers in code meant for SAT solvers.
PBSolverDecorator	A decorator for the PB solvers.
PseudoOptDecorator	A decorator that computes minimal pseudo boolean models.
SolverFactory	User friendly access to pre-constructed solvers.