Uses of Package
org.sat4j.tools

Packages that use org.sat4j.tools

org.sat4j.maxsat	MAXSAT and Weighted Max SAT framework.
org.sat4j.opt	Built-in optimization framework.
org.sat4j.pb
org.sat4j.pb.tools
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.maxsat

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.opt

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.pb

AbstractOutputSolver

DimacsStringSolver
Solver used to write down a CNF into a String.

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.pb.tools

ClausalCardinalitiesDecorator
A decorator for clausal cardinalities constraints.

LexicoDecorator

ManyCore

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

AbstractOutputSolver

DimacsArrayReader
Very simple Dimacs array reader.

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

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