linbox
solver Directory Reference