org.sat4j.specs
Classes
ContradictionException (50%)
TimeoutException (25%)