Package org.chocosolver.solver.trace