add solvers