I have tried to implement a schedule based on the CP-SAT solver and intervals but I need some help to implement the following constraints:
- Workers have to take as much consecutive non overlapping tasks as possible
- Each worker has 1 dynamic shift defined by the recurring job plan limited by up to x hours of working time in 24 hours and up to y hours in z days
- There has to be at least x hours of rest time between shifts
I have tried to implement a schedule based on the CP-SAT solver and intervals but I need some help to implement the following constraints: