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