CasADi es un marco simbólico gratuito y de código abierto para la diferenciación automática y el control óptimo . [2]