CasADi

CasADi: 数值优化和自动微分库

使用 CasADi 建立上下界和等式约束，区分变量边界与约束边界，并通过可手算例子验证求解状态和结果。