[TYPES/announce] [CHC-COMP 2025] - Call for Solver Submission

[Gidon Ernst]

Dear colleagues,

(apologies for cross-posting)

We invite solver submissions for the competition on solving Constrained 
Horn Clauses (CHC-COMP 2025)

https://urldefense.com/v3/__https://chc-comp.github.io/__;!!IBzWLUs!UDGr9BAAynSb-wjZkpRCJMgqfiWA7Im_GJnMuyYU-8aX9dHubuVUHVnwRfMiYG9NdWyF4DksFmudfj9nqdpaP1x-mUzNUNrxK68$ 

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://urldefense.com/v3/__https://forms.gle/Lh6VmRjRDaknZ4xU9__;!!IBzWLUs!UDGr9BAAynSb-wjZkpRCJMgqfiWA7Im_GJnMuyYU-8aX9dHubuVUHVnwRfMiYG9NdWyF4DksFmudfj9nqdpaP1x-mUzNqydQrAw$ 

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://urldefense.com/v3/__https://github.com/chc-comp/chc-comp24-benchmarks__;!!IBzWLUs!UDGr9BAAynSb-wjZkpRCJMgqfiWA7Im_GJnMuyYU-8aX9dHubuVUHVnwRfMiYG9NdWyF4DksFmudfj9nqdpaP1x-mUzNruQFliM$ 

Best,
   Gidon Ernst, LMU Munich
   Jose F. Morales, IMDEA Software Institute