Using and Understanding CP-SAT: A Primer and Cheat Sheetgithub.com/d-krupke2 pointsyeesian3 years ago