2023년 CHC-COMP 대회는 제6회 Constrained Horn Clauses 솔버 경쟁 대회로, 7개의 솔버(6개 경쟁 솔버, 1개 hors concours 솔버)와 6개의 트랙으로 구성되었다.
