casadi

O CasADi é um framework simbólico para otimização numérica que implementa diferenciação automática nos modos direto e reverso em grafos computacionais de matrizes esparsas. Ele suporta geração de código C autônomo e faz interface com códigos de ponta como SUNDIALS, IPOPT, etc. Pode ser usado a partir de C++, Python, Matlab/Octave, Julia ou Javascript.