Show HN: Grilops – Solve any Nikoli-style grid logic puzzle with Python and z3github.com/obijywk1 pointmattgruskin7 years ago