Adding more Lyapunov solvers