Hacker News new | ask | show | jobs
by happyhacks 434 days ago
my take - more writeup style for people new to z3

https://happyhacks.bearblog.dev/solving-a-layton-puzzle-with...