4 ms·
If you find such a puzzle, please let me know! Assuming the CLP(B) solver is correctly implemented, the CLP(B) solution I posted will give the unique solution
by triska 7y ago
If you find such a puzzle, please let me know!
Assuming the CLP(B) solver is correctly implemented, the CLP(B) solution I posted will give the unique solution without any search.
On the other hand, it is comparatively easy to find puzzles where the CLP(ℤ) version will require search, even if only a small amount.
- taeric 7y agoI'll have to dive on it more, but https://news.ycombinator.com/item?id=14246452 https://news.ycombinator.com/item?id=14246452 is last time I remember discussing it. I thought the point was that sometimes searches were needed. Did I misunderstand? Have things changed? (Neither would surprise me.)