I didn't find reasonable documentation for Petsc4py snes, but I am happy to be corrected.