Throw an exception if Solver::solve() is called before Solver::setup().
Cleanup comments.
More doxygen-style commenting.