将CBC求解器与or-tools结合使用时,有什么方法可以创建条件约束?

时间:2019-05-23 23:40:45

标签: python-3.x or-tools coin-or-cbc

让我们假设我在MIP问题中使用了名为“ x,y,z”的BoolVars,并且我想设置一个约束如:

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

我会在ortools库中使用python的CBC求解器吗?

1 个答案:

答案 0 :(得分:1)

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

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