标签: python-3.x or-tools coin-or-cbc
让我们假设我在MIP问题中使用了名为“ x,y,z”的BoolVars,并且我想设置一个约束如:
3x + 4y <= 5*z only if z = 1
我会在ortools库中使用python的CBC求解器吗?
答案 0 :(得分:1)
当前没有。 我们正在重写线性求解器包装器以支持这些方法。
话虽如此,我不知道他们是否得到CBC的支持。 如果您的问题是纯粹的整数,则CP-SAT求解器本身支持隐式约束。