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