[chc-comp] CHC Competition 2026

Dear CHC Competition Community, We are pleased to announce CHC-Comp 2026. This year’s competition will reuse the benchmark set from last year. The competition tracks remain unchanged and are as follows: LIA, LIA-Lin, LIA-Arrays, LIA-Lin-Arrays, ADT-LIA, ADT-LIA-Arrays, BV, LRA-Lin. The schedule for this year’s competition is:

* April 25: CHC solver submission deadline for smoke testing (recommended) * April 25: Benchmark submission deadline * May 2: Final CHC solver submission deadline * July 25: Presentation of results at HCVS

The website with more information about this year's CHC-comp can be reached via this link: https://chc-comp.github.io/

Best regards, Levente Bajczi and Konstantin Britikov​