Planned GitLab downtime: Friday 01.08.2025, from 05:30 to ~ 08:30 due to migration.
The source used in the VMCAI 2024 publication
COOL as used for the CADE-29 paper