CasADi is a symbolic framework for numeric optimization
A gradient-based augmented Lagrangian framework for embedded NMPC
Mathematical & engineering components for software development
C++ templates with generic nonlinear optimization algorithms
Toolkit for Automatic Control and Dynamic Optimization
C nonlinear optimization library