integrating the solver