org.chocosolver.solver/module-summary.html