PuLP和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。它支持多种建模工具，可以调用不同的求解器。