Add a description, image, and links to the mixed-integer-nonlinear-programming topic page so that developers can more easily learn about it.

CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained ...