Add a default solver.