Conditioned System.err in Solver.isSatisfied() to Settings.warnUser() + better error message when Solver.validate() is false
Conditioned System.err in Solver.isSatisfied() to Settings.warnUser() + better error message when Solver.validate() is false

chocoteam/choco3,chocoteam/choco3,chocoteam/choco3,chocoteam/choco3