choco.cp.solver
Classes
CPModelToCPSolver
CPSolver
CPSolverDis