Trovati errori e sistemati in createCSP in SolverManager