Uses of Package
org.chocosolver.solver.explanations