Solving Constraint Horn Clauses Modulo Algebraic Data Types and Recursive Functions
Anonymous · Zenodo (CERN European Organization for Nuclear Research) · 2021
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