Show HN: Grilops – Solve any Nikoli-style grid logic puzzle with Python and z3(github.com)1 points by mattgruskin 7 years ago | 0 commentsNo comments yet