Currently, as soon as you use an EquationSystem, the only available solver are the ODE solvers. We could enable more of them.
Usefulness is questionable. EquationSystems are a very special topic, and it is not quite clear how useful more solvers would be. You probably want to have time-dependent Hamiltonians, then polynomial solvers are not terribly useful.