Knitro

Artelys Knitro is an optimization software library for finding solutions of both continuous (smooth) optimization models (with or without constraints), as well as discrete optimization models with integer or binary variables (i.e. mixed integer programs). Knitro is primarily designed for finding local optimal solutions of large-scale, continuous nonlinear problems.