Added Solver.