Using and Understanding OR-Tools' CP-SAT Solver | Dark Hacker News