Условное ограничение OR-Tools CP SAT ⇐ Python

[Anonymous]

В задаче, которую я пытаюсь решить, у меня есть список логических переменных длиной n с именем x. Учитывая целое число m, где m < n, мне нужно определить эти два ограничения:

• if LinearExpr.Sum(x[m:]) > 0 then LinearExpr.Sum(x[:m]) == 0
• if LinearExpr.Sum( x[:m]) > 0 then LinearExpr.Sum(x[m:]) == 0

От что я прочитал, мне следует использовать одно или несколько из следующих:

• AddOrBool
• OnlyEnforceIf
• AddImplication

Однако после нескольких часов попыток я так и не смог в этом разобраться. Любая помощь в решении этой проблемы очень ценится!

Подробнее здесь: https://stackoverflow.com/questions/783 ... constraint