Modifiche a SolverManager