PETSc solution of linear systems.