Uses of Class
org.sat4j.AbstractOptimizationLauncher

Packages that use AbstractOptimizationLauncher

org.sat4j.maxsat	MAXSAT and Weighted Max SAT framework.
org.sat4j.pb

Uses of AbstractOptimizationLauncher in org.sat4j.maxsat

Subclasses of AbstractOptimizationLauncher in org.sat4j.maxsat

class

GenericOptLauncher Generic launcher to be used for solving optimization problems.

Uses of AbstractOptimizationLauncher in org.sat4j.pb

Subclasses of AbstractOptimizationLauncher in org.sat4j.pb

class	LanceurPseudo2005 Launcher especially dedicated to the pseudo boolean 05 evaluation (@link http://www.cril.univ-artois.fr/PB05/).
class	LanceurPseudo2007 Launcher for the Pseudo Boolean 2007 competition.
class	LanceurPseudo2007Eclipse