CasADi is a symbolic framework for numeric optimization
