Added documentation for Solver interface