PuLP和OR-Tools的替代方案

Question

我目前有一个用Gurobi的pythonapi构建的MIP模型，但是最近我一直在研究一些工具，比如PuLP和OR工具，这些工具允许我构建一个模型并将其提供给多个不同的优化器。我的一个功能，就是广泛地使用了，比如最小约束和最大约束。然而，似乎纸浆和/或工具不支持这些。有没有其他方法支持这些方法？或者，如果我想使用这样的方法，我是否需要重新制定我的模型？在

Answer 1

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

Answer 2

对于or工具，我们只为线性解算器提供最小的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