Agregue las llamadas a los otros solvers