Hi,
Did you manage to solve this problem?
I am trying to setup a custom PETScSNESSolver where I supply the null space for the linear system. I am able to do this with a NewtonSolver using this code, however I have not managed to convert this to PETScSNESSolver.
Cheers,
K