org.chocosolver.solver.exception
Exceptions
ContradictionException
SolverException