The Solvers in PETSc/TAO#