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.