On May 5–6th, I took part in Microsoft's Puzzlehunt. I love these events (as you can imagine, from pastpuzzles I've written), but this year's had a puzzle I also managed to apply some of my Z3 skills to. You see, in a puzzle hunt, you're allowed to use any tools you wish,1 [1 Except for people not on your team…] including programming and Z3. But it's rare that I find the opportunity… How the Puzzle Worked This year, one of the puzzles was a cryptic mastermind game. In the usual mastermi...
