Comment by anArbitraryOne 8 months ago What about a CP solver? 2 comments anArbitraryOne Reply mzl 8 months ago Here is my variant of solving the problem using MiniZinc: https://news.ycombinator.com/item?id=44353731 cerved 8 months ago What about a CP-SAT solver?
mzl 8 months ago Here is my variant of solving the problem using MiniZinc: https://news.ycombinator.com/item?id=44353731
Here is my variant of solving the problem using MiniZinc: https://news.ycombinator.com/item?id=44353731
What about a CP-SAT solver?