Drawing the Aperiodic Hat Tiling with Python and Z3 | Hacker News Reader