Hacker News new | ask | show | jobs
Show HN: Grilops – Solve any Nikoli-style grid logic puzzle with Python and z3 (github.com)
1 points by mattgruskin 2585 days ago