开源项目 CasADi CasADi 提供符号建模与数值优化求解接口,常用于机器人轨迹优化、MPC 与运动规划,可对接多种求解器。 类型 部署框架 语言 C++、Python、MATLAB 仓库 casadi/casadi GitHub