Rename the main solver.