MIP (задача смешанных целых чисел) Ограничение сборки с помощью OR ⇐ Python

[Anonymous]

У меня есть MIP, в котором я хочу назначить как минимум две переменные (двоичные) из одного и того же места.

Как реализовать или в этом случае. Я хочу что-то вроде этого:

x1 + x2 + x3 + x4 >= 2 или x5 + x6 + x7 + x8 + x9 >= 2 или х10 + х11 + х12 >= 2 x1,...,x12 — двоичные переменные.

Как это можно реализовать?

Я посмотрел здесь, но не смог разобраться в своем случае.