Patch by Dan Liew (with a few changes by me) that improves the Doxygen documentation for Solver/SolverImpl.