Constrained Horn Clause Solver Competition 2023: Results and Insights

The CHC-COMP 2023 competition evaluated state-of-the-art solvers for Constrained Horn Clauses, a formalism widely used in program verification. The competition featured seven solvers and six tracks, each focusing on a class of CHCs with different background theories and constraints.