Uses of Class
org.sat4j.AbstractOptimizationLauncher

Packages that use AbstractOptimizationLauncher

org.sat4j

Contain a command line launcher for the SAT solvers.

Uses of AbstractOptimizationLauncher in org.sat4j

Subclasses of AbstractOptimizationLauncher in org.sat4j

class	GenericOptLauncher
class	LanceurPseudo2005 Launcher especially dedicated to the pseudo boolean 05 evaluation (@link http://www.cril.univ-artois.fr/PB05/).
class	LanceurPseudo2007
class	MaxSatLauncher