fedimser / puzzlehunt

Puzzlehunt tools and examples

Puzzle Hunt

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