choco.cp.solver
Classes 
CPModelToCPSolver
CPSolver
CPSolverDis