小编mar*_*n56的帖子

我有一个 Gurobi 许可证，我追求的是一个好的 MILP/LP 建模语言，这应该是

1. 免费/开源

2. 直观，即看起来像的东西（取自 MiniZinc）

   无功整数：x；约束 x >= 0.5; 求解最小化 x；

3. 快速：构建模型并将其发送到 Gurobi 的时间应该与最好的模型（AMPL GAMS 等）相似

4. 灵活/强大（能够处理 3D+ 阵列、轻松激活/停用约束、为求解器提供初始解决方案等）

当然，如果我错了，请纠正我，AMPL GAMS 在 1) 处失败，Python 和 R 在 2)（也许在 3）处失败？）。

GLPK、Minizinc、ZIMPL 等怎么样？它们满足 1) 和 2)，但是 3) 和 4) 呢？在这方面，他们和 AMPL 一样好吗？如果没有，是否有满足 1-4 的建模语言？