CasADi

CasADi is a free and open source symbolic framework for automatic differentiation and optimal control.

[3]