linbox
solver Directory Reference
+ Directory dependency graph for solver: