CasADi

CasADi 由 KU Leuven 等团队维护，是机器人最优控制与轨迹优化的通用符号框架，常作为规划算法底层。