Uses of Package
org.sat4j.core

Packages that use org.sat4j.core

Package	Description
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

Class and Description
ASolverFactory A solver factory is responsible for providing prebuilt solvers to the end user.

Classes in org.sat4j.core used by org.sat4j.core

Class and Description
VecInt A vector specific for primitive integers, widely used in the solver.

Classes in org.sat4j.core used by org.sat4j.minisat

Class and Description
ASolverFactory A solver factory is responsible for providing prebuilt solvers to the end user.

Classes in org.sat4j.core used by org.sat4j.tools

Class and Description
ASolverFactory A solver factory is responsible for providing prebuilt solvers to the end user.