Package org.sat4j.minisat

Implementation of the MiniSAT specification in Java.

See:
          Description

Class Summary
SolverFactory User friendly access to pre-constructed solvers.
 

Package org.sat4j.minisat Description

Implementation of the MiniSAT specification in Java. Some classes have been added in order to allow testing several heuristics aand learning scheme but the solver is still very close to the original MiniSAT. For sake of efficiency, some tradeoff with OOP were made: literals are here represented by integers whose attributes are stored in a Lits (vocabulary) object. A factory of solvers is provided for a friendly access to prebuilt solvers.



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