Uses of Package
org.chocosolver.solver.search.loop.propagate