CasADi

CasADi is an open-source symbolic framework for numerical optimization and automatic differentiation. It enables users to formulate complex optimization problems (e.g., optimal control, nonlinear programming) using symbolic expressions and then efficiently solve them using state-of-the-art numerical solvers. It is actively maintained with several releases per year. Current version: 3.7.2.