Modificato createCSP in CutSolver