Как разрешить 3-дневные смены подряд после 2 пар 2-дневных последовательных смен в решателе CP-sat (или инструментах — P ⇐ Python

[Гость]

Это минимальная воспроизводимая проблема, с которой я сейчас сталкиваюсь в своем приложении.

Мне нужно заставить решатель подчиняться приведенной ниже логике:
[*]
при наличии последовательных смен разрешить до двух пар двухдневных последовательных смен и запретить любые трехдневные смены:

сумма(пары двухдневных смен) < 2,

сумма(пары 3-дневных смен) == 0
[*]
если пар двухдневных смен равно максимальному числу (=2), то должна быть разрешена одна пара трехдневных последовательных смен:

сумма(пары двухдневных смен) == 2,

сумма(пары 3-дневных смен)