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!