Предположим, я использую BoolVars под названием 'x, y, z' в своей проблеме MIP, и я хотел бы установить ограничение как:
3x + 4y <= 5*z only if z = 1
Я бы сделал это, используя CBC solver в библиотеке ortoolsдля питона?
В настоящее время нет. Мы находимся в процессе переписывания оболочки линейного решателя, чтобы поддержать их.
Как говорится, я не знаю, поддерживаются ли они CBC. Если ваша задача является чисто целочисленной, то решатель CP-SAT изначально поддерживает подразумеваемые ограничения.