A Practical Introduction to Constraint Programming Using CP-SAT and Python

Nice write-up. Did you try the problem out against a MIP method?