obijywk/grilops
a GRId LOgic Puzzle Solver library
1 best points · 0 comments · 1 Hacker News post · 85 GitHub stars · View on GitHub
Hacker News discussions
- Show HN: Grilops – Solve any Nikoli-style grid logic puzzle with Python and z3 (1 points, 0 comments, by mattgruskin, 2019-05-29)