Using OR-Tools CP-SAT for Scheduling Problems