CasADi

Symbolic framework for nonlinear optimization and optimal control.

CasADi provides automatic differentiation and interfaces to solvers like IPOPT, widely used for trajectory optimization and MPC.