Nurse scheduler using clpfd