Я новичок в Choco Solver. Я хочу сделать простой планировщик смен. я установил целочисленные переменные, подобные этому
IntVar day1 = model.intVar("day1", new int[] {0,1,2,3,4,5});
где 0 , 1,...5 — идентификатор ссылки на сотрудника.
У меня есть в общей сложности 30 переменных (по одной на каждый день месяца), так как это ежемесячный график смен. Я установил ограничения, которые не позволяют, например. не быть на смене два дня подряд.
Мой вопрос в том, как я могу установить ограничение, чтобы у каждого работодателя было минимум 5 смен, т.е. каждое значение в домене встречается не менее 5 раз во всех 30 переменных?
Благодарю вас!