An implementation of Dantzig-Wolfe decomposition built upon GLPK
Heterogeneous cluster for acceleration of linear algebra computations
Fast C library for relation algebra using binary decision diagrams.
Free vector,quaternion,matrix math library
Convex Optimization Algorithms Library
Java Decision Diagrams (BDD) libraries: JDD and JBDD