The ALCYON package for Optimization using Polyhedral Omega is presented in ISSAC 2024 (software presentation).