在将 CBC 求解器与 or-tools 一起使用时，有什么方法可以创建条件约束吗？
Is there any way to create a conditional constraint while using CBC solver with or-tools?
假设我在我的 MIP 问题中使用了名为 'x,y,z' 的 BoolVars，我想设置一个约束，例如：
3x + 4y <= 5*z only if z = 1
我会在 python 的 ortools 库中使用 CBC 求解器吗？
目前没有。
我们正在重写线性求解器包装器以支持这些。
话虽这么说，但我不知道他们是否得到CBC的支持。
如果您的问题是纯整数，CP-SAT 求解器本身就支持隐含约束。
假设我在我的 MIP 问题中使用了名为 'x,y,z' 的 BoolVars，我想设置一个约束，例如：
3x + 4y <= 5*z only if z = 1
我会在 python 的 ortools 库中使用 CBC 求解器吗？
目前没有。 我们正在重写线性求解器包装器以支持这些。
话虽这么说，但我不知道他们是否得到CBC的支持。 如果您的问题是纯整数，CP-SAT 求解器本身就支持隐含约束。