【发布时间】：2021-06-28 01:55:10
【问题描述】：
请解释逻辑约束在 PySCIPOpt 中的工作原理。我尝试阅读有关model.addConsOr 和model.addConsAnd 的信息，但无法理解。一个例子将不胜感激。
【问题讨论】：
标签： scip
【发布时间】：2021-06-28 01:55:10
【问题描述】：
这个例子展示了如何使用 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)
【讨论】：