Package org.sat4j

Contains a command line launcher for the SAT solvers.

See:
          Description

Class Summary
AbstractLauncher That class is used by launchers used to solve decision problems, i.e.
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.
BasicLauncher<T extends ISolver> Very simple launcher, to be used during the SAT competition or the SAT race for instance.
ExitCode Enumeration allowing to manage easily exit code for the SAT and PB Competitions.
LightFactory That class is the entry point to the default, best performing configuration of SAT4J.
Messages That class is intented to manage internationalisation within the application.
MoreThanSAT This is an example of use of the SAT4J library for computing the backbone of a CNF or to compute the number of solutions of a CNF.
 

Package org.sat4j Description

Contains a command line launcher for the SAT solvers.



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