Renamed solvers.