HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by anArbitraryOne | Hacker News Reader
Parent
Full thread
anArbitraryOne
·
What about a CP solver?
View on HN
mzl
·
Here is my variant of solving the problem using MiniZinc:
https://news.ycombinator.com/item?id=44353731
cerved
·
What about a CP-SAT solver?
Reply on news.ycombinator.com