SCIP PySCIPOpt 中的逻辑约束

编程问答 2022-04-22

问题描述

请解释逻辑约束在 PySCIPOpt 中是如何工作的。我尝试阅读有关 model.addConsAnd 和 = 的内容，但无法理解。一个例子将不胜感激。

解决方法

这个例子展示了如何使用 PySCIPOpt 向模型添加逻辑约束： https://scipopt.github.io/PySCIPOpt/docs/html/tutorial_2logical_8py_source.html

示例代码：

x = model.addVar("x","B")
y = model.addVar("y","B")
z = model.addVar("z","B")
r = model.addVar("r","B")
model.addConsAnd([x,y,z],r)
scip