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.
OPBStringSolver	Solver used to display in a string the pb-instance in OPB format.
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.
PseudoIteratorDecorator	A decorator that computes all pseudo boolean models.
PseudoOptDecorator	A decorator that computes minimal pseudo boolean models.
SolverFactory	User friendly access to pre-constructed solvers.
UserFriendlyPBStringSolver<T>	Solver to display SAT instances using domain objects names instead of Dimacs numbers.