Solving Constraint Horn Clauses Modulo Algebraic Data Types and Recursive Functions
收藏NIAID Data Ecosystem2026-03-12 收录
下载链接：
https://zenodo.org/record/5083780
下载链接
链接失效反馈官方服务：
资源简介：
This repository contains the benchmark instances used for the evaluation of a new CHC solving algorithm. There are 4 folders:
leon-original. Contains original benchmarks generated by Leon
leon-with-rdf. leon-original benchmarks modified by adding RDFs
rust-horn-original. Contains original benchmarks generated by RustHorn
rust-horn-with-rdf. rust-horn-original benchmarks modified by adding RDFs
The publisher is named anonymous to respect double blind review process
创建时间：
2021-07-09
