Uses of Package
org.sat4j.core

Packages that use org.sat4j.core
org.sat4j Contains a command line launcher for the SAT solvers. 
org.sat4j.core Implementation of the data structures available in org.sat4j.specs. 
org.sat4j.minisat Implementation of the MiniSAT specification in Java. 
org.sat4j.tools Tools to be used on top of an ISolver. 
 

Classes in org.sat4j.core used by org.sat4j
ASolverFactory
          A solver factory is responsible for providing prebuilt solvers to the end user.
 

Classes in org.sat4j.core used by org.sat4j.core
VecInt
          A vector specific for primitive integers, widely used in the solver.
 

Classes in org.sat4j.core used by org.sat4j.minisat
ASolverFactory
          A solver factory is responsible for providing prebuilt solvers to the end user.
 

Classes in org.sat4j.core used by org.sat4j.tools
ASolverFactory
          A solver factory is responsible for providing prebuilt solvers to the end user.
 



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