Added documentation for the three solvers.