Uses of Class
org.sat4j.AbstractLauncher

Packages that use AbstractLauncher

org.sat4j

Contain a command line launcher for the SAT solvers.

Uses of AbstractLauncher in org.sat4j

Subclasses of AbstractLauncher in org.sat4j

class	AbstractOptimizationLauncher This class is intended to be used by launchers to solve optimization problems, i.e. problems for which a loop is needed to find the optimal solution.
class	CSPLauncher
class	GenericOptLauncher
class	Lanceur This class is used to launch the SAT solvers from the command line.
class	LanceurPseudo2005 Launcher especially dedicated to the pseudo boolean 05 evaluation (@link http://www.cril.univ-artois.fr/PB05/).
class	LanceurPseudo2007
class	MaxSatLauncher