Open Source Adventures: Episode 64: How to write Z3 Solvers for Puzzle Games?

Z3 has many uses, but a good fun use is solving puzzle games! Puzzle Team created a lot of nice online puzzles. They weirdly don't have one domain, and use a different domain for each puzzle. Maybe that's some advanced SEO trick. So let's go through ...