linbox
Solvers