Rotating Workforce Scheduling in MiniZinc

• October 31, 2025