Case Study: PETSc ex19 Non-linear solver (snes) 2-D driven cavity code uses velocity-velocity formulation finite difference discretization on a.