21 ms·What about a CP solver?by anArbitraryOne 1y agoWhat about a CP solver?cerved 1y agoWhat about a CP-SAT solver?mzl 1y agoHere is my variant of solving the problem using MiniZinc: https://news.ycombinator.com/item?id=44353731 https://news.ycombinator.com/item?id=44353731