SolverManager completamento metodo createCSP