Solving Constraint Horn Clauses Modulo Algebraic Data Types and Recursive Functions
收藏NIAID Data Ecosystem2026-03-12 收录
数据链接：
官方服务：
资源简介：
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
