set solvers