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.
 



Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.