Published November 11, 2021
| Version v1
Other
Open
Artifact for POPL22 paper "Solving Constrained Horn Clauses modulo Algebraic Data Types and Recursive Functions"
Authors/Creators
- 1. University of Waterloo
- 2. Tel Aviv University
Description
The artifact contains instructions to reproduce the experimental results presented in the paper.
Files
Instructions.md
Files
(6.8 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:ba8339c55bd00f1735fd0178a5be5e99
|
6.0 kB | Preview Download |
|
md5:ee7440e593e5d62bf2e8bdb9360bf4bc
|
802 Bytes | Preview Download |