add many solvers