removing solvers