通用代数建模系统(GAMS)是特别为建模线性,非线性和混合整数最优化问题而设计的.
Lingo专门用于求解最优化问题的软件包,除用于求解线性规划和二次规划问题,还可用于求解非线性规划问题,也可用于线性和非线性方程组的求解.
AMPL 是经典运筹学集成优化建模和开发平台,对各种运筹学问题进行建模并优化的有效工具.
GUROBI
Gurobi 优化工具都被证明是全球性能领先的大规模优化器,可以为客户在开发和实施中极大降低成本.
GTAP
全球贸易分析模型(GTAP)是根据新古典经济理论设计的多国多部门应用一般均衡模型.