Dear CHC Competition Community,
We would like to explain the procedure for solver submission for the CHC Competition this year. To reiterate, we will start the smoke tests on April 25th, and the hard submission deadline is May 2nd.
To submit a CHC solver, please submit a pull request to the chc-comp-2026 repository:
https://github.com/chc-comp/chc-comp-2026
Instructions on submission are provided in the README file of the repository. You can also find a sample tool submission for reference here:
https://github.com/chc-comp/chc-comp-2026/pull/5
In case of any questions, don't hesitate to ask us!
We would also like to announce that the Golem and Theta CHC solvers will participate in this year's competition. While the organisers have contributed to both of these solvers, we would like to clarify that this does not present a conflict of interest: as in last year’s competition, all solvers will be evaluated on the complete set of available benchmarks without exception, ensuring a fully fair and transparent competition for all participants.
Also, to answer Philip's question, there will be a BV track this year. We've added the information on the webpage.
Best regards,
Levente Bajzi and Konstantin Britikov
