kodkod.engine.satlab
Interfaces 
ReductionStrategy
ResolutionTrace
SATMinSolver
SATProver
SATSolver
Classes 
Clause
SATFactory
Exceptions 
SATAbortedException