Tolti da BoundSolver i metodi di CutSolver