Global Stochastic Mixed-Integer Nonlinear SDP optimizer.

If god had made the world convex, there wouldn’t be convex optimization, there would just be optimization.

Nonlinearly optimizing for more than four tenths of a century … and quadratic convergence is about to kick in any moment now.