3 ms·
I tried modeling the problem as a mixed-integer linear program (one binary variable for each possible piece position) and CP-SAT solved this one in two minutes.
by cocoto 1y ago
I tried modeling the problem as a mixed-integer linear program (one binary variable for each possible piece position) and CP-SAT solved this one in two minutes.
- cocoto 1y agoEdit: Under 10s with CP-SAT after removing many variables (had multiple variables for the same pieces).