programmer's documentation
PETSc-based linear solvers.