它是一个混合整数线性规划求解器，可以求解纯线性、（混合）整数/二值、半连续和特殊有序集模型。并且经过实际验证，有极高的求解效率。(It is a mixed integer linear programming solver, which can solve pure linear, mixed (integer) / integer, two valued, semi continuous and special ordered set models. And through practical verification, there is a high solution efficiency.)