运筹学数学规划|离散优化求解器大搜罗

内容主要包括：商业整数求解器、开元整数求解器、求解器的对比情况、其他求解器等内容。

参考链接：

【学界】运筹学数学规划|离散优化求解器大搜罗

一、需要的基础知识

1.  分支定界算法

【学界】混合整数规划/离散优化的精确算法--分支定界法及优化求解器

2. 隔平面算法

二、常规的求解器

1. 非开元

（1）IBM ILOG Cplex

网址：IBM ILOG CPLEX Optimization （Studiohttp://u6.gg/ebMWm）

支持模型：混合整数（平方）规划、Constraint programming

支持语言：C/C++、Java、Python、Matlab等

特点：支持Benders分解模块（仅此一家）、速度Top2

当前版本：12.8

（2） Gurobi

网址：The State-of-the-Art Mathematical Programming Solver（http://www.gurobi.com/）

支持模型：混合整数（平方）规划、Constraint programming

支持语言：C/C++、Java、R、Python、Matlab等

特点：速度Top1、价格最高

当前版本：8.0

（3）MOSEK

网址：The State-of-the-Art Mathematical Programming Solver（http://www.gurobi.com/）

支持模型：混合整数（平方）规划、Second-order cone programming、Semidefinite programming、General convex nonlinear

支持语言：C/C++、Java、R、Python、Matlab等

特点：解SOCOP、SDP更快

当前版本：8.1

2. 开元

 （1）SCIP

网址：SCIP

开发地：德国柏林ZIB研究中心（该中心毕业的博士就职于二中各大求解器公司，share着办公室并一起交流，得益于德国的一个政府项目）

支持：混合整数（非线性）规划、Constraint integer programming

支持语言：C/C++、Java、Python、Matlab等

特点：支持Branch&Price（仅此一家）

当前版本：6.0

 （2）CMIP-中科院

【资讯】中科院CMIP混合整数规划求解器正式发布

 （3）Leaves-杉树

杉数科技