Uses of Class
org.chocosolver.solver.exception.SolverException