Show HN: Grilops – Solve any Nikoli-style grid logic puzzle with Python and z3https://github.com/obijywk/grilops by mattgruskin • 7 years ago 1 0 7 years agoGIgithub.com