documenting the solvers