I blogged about using the Z3 theorem prover to draw the new aperiodic “Hat” tile: https://www.hgreer.com/HatTile/
QOTO: Question Others to Teach Ourselves An inclusive, Academic Freedom, instance All cultures welcome. Hate speech and harassment strictly forbidden.