This repository contains a prototype implementation of a hyperbug finder for ∀∃-safety hyperproperties to accompany the OOPSLA 2024 paper Finding ∀∃ Hyperbugs using Symbolic Execution by Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, and Georg Weissenbacher.