Solving Constraint Horn Clauses Modulo Algebraic Data Types and Recursive Functions

<p>This repository contains the benchmark instances used for the evaluation of a new CHC solving algorithm. There are 4 folders:</p> <ol> <li>leon-original. Contains original benchmarks generated by Leon</li> <li>leon-with-rdf. leon-original benchmarks modified by adding RDFs</li> <li>rust-horn-original. Contains original benchmarks generated by RustHorn</li> <li>rust-horn-with-rdf. rust-horn-original benchmarks modified by adding RDFs</li> </ol> <p>The publisher is named anonymous to respect double blind review process</p>