Оптапланер: минимум один сотрудник каждого типа

Question

Я решаю проблему, аналогичную списку сотрудников. У меня есть дополнительное ограничение. Сотрудникам присваивается значение типа. Это жесткое ограничение, чтобы по крайней мере 1 сотрудник каждого «типа» был там каждый день. Как я могу смоделировать это?

Я не могу использовать ограничение справедливости, так как я не хочу обеспечивать равное количество сотрудников каждого "типа". Только по крайней мере 1 каждого "типа" присутствует.

Answer 1

Использование not:

when
   Employee()
   Day()
   not Shift(that employee, that day)
then
   -1hard
end