Email Gateway (Apr 17 2025 at 08:28): Email Gateway (Apr 17 2025 at 08:28):From: Gidon Ernst <gidon.ernst@lmu.de>
Dear colleagues,
(apologies for cross-posting)
We invite solver submissions for the competition on solving Constrained
Horn Clauses (CHC-COMP 2025)
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
Last updated: May 06 2025 at 08:28 UTC