Show HN: Grilops – Solve any Nikoli-style grid logic puzzle with Python and z3 #1 Post by mattgruskin » Wed, May 29, 2019, 1:52 PM UTC Show HN: Grilops – Solve any Nikoli-style grid logic puzzle with Python and z3github.com