Dear colleagues,
(apologies for cross-posting)
We invite solver submissions for the competition on solving Constrained
Horn Clauses (CHC-COMP 2025)
https://chc-comp.github.io/
We kindly ask you to register your solver via this form, the earlier the
better, so we can check for technical issues, but no later than Friday,
April 25:
https://forms.gle/Lh6VmRjRDaknZ4xU9
Solvers will be evaluated automatically on a variety of benchmarks in a
number of categories. For reference, the benchmark selection of CHC-COMP
2024 is available here:
https://github.com/chc-comp/chc-comp24-benchmarks
Best,
Gidon Ernst, LMU Munich
Jose F. Morales, IMDEA Software Institute
