Package org.sat4j.tools

Tools to be used on top of an ISolver.

See:
Description

Class Summary

Minimal4CardinalityModel	Computes models with a minimal number (with respect to cardinality) of negative literals.
Minimal4InclusionModel	Computes models with a minimal subset (with respect to set inclusion) of negative literals.
ModelIterator	That class allows to iterate through all the models (implicants) of a formula.
RemiUtils	Class dedicated to RŽmi Coletta utility methods :-)
SATRaceDecorator
SingleSolutionDetector	This solver decorator allows to detect whether or not the set of constraints available in the solver has only one solution or not.
SolutionCounter	Another solver decorator that counts the number of solutions.
SolverDecorator	The aim of that class is to allow adding dynamic responsabilities to SAT solvers using the Decorator design pattern.

Package org.sat4j.tools Description

Tools to be used on top of an ISolver.