Resources for profile-guided optimization of clingo with typical Spack config - View it on GitHub