Popular repositories Loading

1. chc-tools chc-tools Public

   Tools for manipulating CHC and related files

   Python 15 6

2. chc-comp25-benchmarks chc-comp25-benchmarks Public

   Benchmarks used in the 2025 CHC-COMP

   SMT 5 3

3. scripts scripts Public

   Scripts used in CHC-COMP

   Python 4 3

4. vmt-chc-benchmarks vmt-chc-benchmarks Public

   SMT 2

5. aeval-benchmarks aeval-benchmarks Public

   Benchmarks from https://github.com/grigoryfedyukovich/aeval

   SMT 2

6. ringen-adt-benchmarks ringen-adt-benchmarks Public

   ADT benchmarks generated by the RInGen tool

   SMT 2