Python 纸浆和/或工具替代品

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

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

Python示例如下：

---

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