Есть ли способ создать условное ограничение при использовании CBC Solver с or-tools?

Question

Предположим, я использую BoolVars под названием 'x, y, z' в своей проблеме MIP, и я хотел бы установить ограничение как:

 3x + 4y <= 5*z  only if z = 1

Я бы сделал это, используя CBC solver в библиотеке ortoolsдля питона?

Answer 1

В настоящее время нет. Мы находимся в процессе переписывания оболочки линейного решателя, чтобы поддержать их.

Как говорится, я не знаю, поддерживаются ли они CBC. Если ваша задача является чисто целочисленной, то решатель CP-SAT изначально поддерживает подразумеваемые ограничения.