纸浆和 OR-Tools 替代品 [关闭]

Question

我目前有一个用 Gurobi 的 python API 制定的 MIP 模型，但最近我一直在研究诸如 PuLP 和 OR-Tools 之类的工具，它们允许我构建模型并将其提供给多个不同的优化器。在我的模型中广泛使用的 Gurobi 的一个特性是能够使用诸如 and、or、min、max 和 abs 之类的函数进行约束。然而，似乎 PuLP 和 OR-Tools 不支持这些。有没有支持这些的替代方案？或者如果我想使用这样的东西，我是否必须重新制定我的模型？

Answer 1

对于 or-tools，我们只为线性求解器提供最小的 API。 如果您的问题更具结构化（调度、路由、类似 CP 的约束），您可以查看 CP-SAT 接口：

• https://developers.google.com/optimization/
• https://github.com/google/or-tools/blob/master/ortools/sat/doc/index.md

Python 示例在这里：

• https://github.com/google/or-tools/tree/master/examples/python

Answer 2

您可能还想看看Pyomo。支持多种建模工具，可以调用不同的求解器。