This artifact will let you run the HipHop solver described in the companion paper and let you conduct some experiments with new puzzles and solver extensions. The objective is to offer you a taste of programming in HipHop. For that, first, we briefly present the structure and organization of the solver and then we suggest three assignments to get you familiar with HipHop and the codebase.

The artifact has no special requirement. It can be run within the provided virtual machine or installed locally using the GIT repository whose address is in the README.me file

• The VM can be download at: https://zenodo.org/records/11481893
• The source of the artifact is available at: https://github.com/manuel-serrano/icfp2024-sudoku