add a solver