时间戳

首页 > 解决方案 > SCIP PySCIPOpt 中的逻辑约束

scip - SCIP PySCIPOpt 中的逻辑约束

问题描述

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

标签： scip

解决方案

此示例显示如何使用 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)

推荐阅读