CHC-COMP 2023: 制約付きホーンクローズ競争報告書

CHC-COMP 2023は、制約付きホーンクローズ解決器の競争の6回目の開催です。この競争では、7つのソルバー(6つの競争参加ソルバーと1つのhors concours)と6つのトラックが特徴でした。