BARON For solving nonconvex optimization problems to global optimality. Licenses >> ALAMO For building algebraic models from data and simulations. Licenses >>