This is an optimization model development toolkit for mathematical programming.
IBM ILOG CPLEX Optimization Studio