Логические ограничения в SCIP PySCIPOpt

#scip

Вопрос:

Пожалуйста, объясните, как работают логические ограничения в PySCIPOpt. Я пытался читать об model.addConsOr этом и model.addConsAnd , но не мог понять. Пример был бы весьма признателен.

Ответ №1:

В этом примере показано, как добавить логические ограничения в модель с помощью 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)