org.sat4j.specs
Interfaces 
IConstr
IOptimizationProblem
IProblem
ISolver
IteratorInt
IVec
IVecInt
SearchListener
Classes 
Lbool
Exceptions 
ContradictionException
TimeoutException