Adding the solvers