[petsc-users] Solving a Singular System with PETSc