Make the list of solvers prettier.