Uses of Package
org.sat4j.tools

Packages that use org.sat4j.tools

Package	Description
org.sat4j	Contains a command line launcher for the SAT solvers.
org.sat4j.opt	Built-in optimization framework.
org.sat4j.tools	Tools to be used on top of an ISolver.
org.sat4j.tools.xplain	Implementation of an explanation engine in case of unsatisfiability.

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

Class and Description
SolutionFoundListener Allows the end user to react when a new solution is found.

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

Class and Description
SolverDecorator The aim of that class is to allow adding dynamic responsibilities to SAT solvers using the Decorator design pattern.

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

Class and Description
AbstractClauseSelectorSolver
AbstractMinimalModel
AbstractOutputSolver
DimacsArrayReader Very simple Dimacs array reader.
IVisualizationTool
ModelIterator That class allows to iterate through all the models (implicants) of a formula.
OutcomeListener Simple interface to check the outcome of running a solver in parallel.
SearchListenerAdapter
SolutionFoundListener Allows the end user to react when a new solution is found.
SolverDecorator The aim of that class is to allow adding dynamic responsibilities to SAT solvers using the Decorator design pattern.

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

Class and Description
AbstractClauseSelectorSolver
FullClauseSelectorSolver
GroupClauseSelectorSolver
SolverDecorator The aim of that class is to allow adding dynamic responsibilities to SAT solvers using the Decorator design pattern.