I\'m trying to come up with a way to implement OR-Tools CP-SAT for Driver\'s Scheduling issue. I\'ve gone through @laurent perron\'s bus driver scheduling approach but unable to