Google's software suite for combinatorial optimization
Traveling Salesman Problem (TSP) Solver
A decomposing solver
Massively parallel software for quantum chemistry calculations
Optimal control, trajectory optimization, model-predictive control.
Traveling Salesman Problem "window time based" aproximate solver
Interval Calculator for Engineer
Linear algebra and solver library using CUDA, OpenCL, and OpenMP
JBernstein: Exploration techniques for non-linear constraint checking
Chromatography Analysis and Design Toolkit