org.sat4j.specs
Interfaces 
IConstr
IOptimizationProblem
IProblem
ISolver
IVec
IVecInt
Exceptions 
ContradictionException
TimeoutException