How to find out the type of solver used

Dear all,

the PETSc solver and its line searching option can be activated as shown in the following code snippet. But actually I am wondering what kind of solver is used when activating this option. Is it a Krylov type method as used by the standard Fenics solver for nonlinear problems?

solver.parameters.['nonlinear_solver'] = 'snes' 
solver.parameters.['snes_solver']['line_search'] = 'bt'

Thanks in adavance!

This is just a guess, since I haven’t used the snes solver, but you can try to add the following to your code

from fenics import *
PETScOptions.set('ksp_view')

But iirc this does not necessarily work for all fenics versions.