my take - more writeup style for people new to z3 https://happyhacks.bearblog.dev/solving-a-layton-puzzle-with-z3/ https://happyhacks.bearblog.dev/solving-a-la

my take - more writeup style for people new to z3 https://happyhacks.bearblog.dev/solving-a-layton-puzzle-with-z3/ https://happyhacks.bearblog.dev/solving-a-layton-puzzle-with...