2 comments

[ 3.3 ms ] story [ 16.8 ms ] thread
Nice write-up. Did you try the problem out against a MIP method?
Nice blog but title should end with (2024).

I would recommend reading: "The CP-SAT Primer: Using and Understanding Google OR-Tools’ CP-SAT Solver" - https://d-krupke.github.io/cpsat-primer/

When starting with CP-SAT. The google docs are not great unfortunately.