问在使用CBC求解器和或-工具时，有没有办法创建条件约束？
EN

Stack Overflow用户

提问于 2019-05-24 07:40:45

回答 1查看 373关注 0票数 0

假设我在MIP问题中使用名为'x，y，z‘的BoolVars，并且我想设置一个约束，如下所示：

 3x + 4y <= 5*z  only if z = 1

我可以使用python的ortools库中的CBC solver来实现吗？

回答已采纳

发布于 2019-05-24 13:34:09

目前没有。我们正在重写线性求解器包装器以支持这些。

话虽如此，我不知道他们是否被CBC支持。如果您的问题是纯整数，CP-SAT求解器本身就支持隐式约束。

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/56284158

复制

相似问题

问在使用CBC求解器和或-工具时，有没有办法创建条件约束？EN