Uses of Class
org.sat4j.AbstractLauncher

Packages that use AbstractLauncher

org.sat4j	Contains a command line launcher for the SAT solvers.
org.sat4j.csp	Classes needed for CSP to SAT translation.
org.sat4j.maxsat	MAXSAT and Weighted Max SAT framework.
org.sat4j.pb
org.sat4j.sat

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	BasicLauncher<T extends ISolver> Very simple launcher, to be used during the SAT competition or the SAT race for instance.

Uses of AbstractLauncher in org.sat4j.csp

Subclasses of AbstractLauncher in org.sat4j.csp

class

CSPLauncher

Uses of AbstractLauncher in org.sat4j.maxsat

Subclasses of AbstractLauncher in org.sat4j.maxsat

class

GenericOptLauncher Generic launcher to be used for solving optimization problems.

Uses of AbstractLauncher in org.sat4j.pb

Subclasses of AbstractLauncher 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

Uses of AbstractLauncher in org.sat4j.sat

Subclasses of AbstractLauncher in org.sat4j.sat

class

Lanceur This class is used to launch the SAT solvers from the command line.