Solvers documentation.