Как установить максимальное количество дней подряд 【OR-Tools CP-SAT】 ⇐ Python

[Anonymous]

Как установить максимальное количество дней подряд в OR-Tools CP-SAT?
Я управляю рабочими днями сотрудников. Если сотрудник работает {consecutive_count} дней подряд, ему предоставляются выходные {rest}.
ex)

• ОК [0,1,1,1,1,0,0,1,0,0,0,1,1,1,0,...]
• НЕУДАЧА [0,0, ** 1,1,1,1,0, ** 1,0,0,1,0,...]
• НЕУДАЧА [0,0, ** 1,1,1,1,1, ** 0,0 ,1,0,0,1,0,...]

Я придумал следующий код, но он не работает должным образом .
В чем может быть проблема?
from ortools.sat.python import cp_model

model = cp_model.CpModel()
employees = ["daniel","karla","sergio"]
dates=["12/1","12/2","12/3",...,"12/31"]
assignments = {}
for e in range(len(employees)):
for d in range(len(dates)):
assignments[(e, d)] = model.NewBoolVar(f"employee_{e}_dates_{d}")

# HERE IS MY CONSTRAINT PROBLEM
consecutive_count=4
rest=2
for e in range(len(employees)):
for d in range(len(dates) - consecutive_count-rest*2 +1):
model.Add(sum(assignments[(e, d+i )] for i in range(consecutive_count+rest*2))

Подробнее здесь: https://stackoverflow.com/questions/792 ... ols-cp-sat