This repo contains resources needed for profile-guided optimization of Clingo for Spack specific purposes.