← Back to context Comment by anArbitraryOne 6 months ago What about a CP solver? 2 comments anArbitraryOne Reply mzl 6 months ago Here is my variant of solving the problem using MiniZinc: https://news.ycombinator.com/item?id=44353731 cerved 6 months ago What about a CP-SAT solver?
mzl 6 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?