The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solvergithub.com/d-krupke4 pointsscrlk3 days ago