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...
Tags: z3, math, logic