Puzzle Hunt This repository contains some examples of solving Puzzle Hunt puzzles, mostly using the Z3 solver.