Add solver.