BARON

For solving nonconvex optimization problems to global optimality.

Licenses

ALAMO

For building algebraic models from data and simulations.

Licenses