org.sat4j.tools
Classes 
Minimal4CardinalityModel
Minimal4InclusionModel
ModelIterator
RemiUtils
SATRaceDecorator
SingleSolutionDetector
SolutionCounter
SolverDecorator