Show HN: Grilops – Solve any Nikoli-style grid logic puzzle with Python and z3 · HackerTrans