Published July 28, 2021
| Version v1
Dataset
Open
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving
- 1. The University of Tokyo
Description
This is a replication package for the paper "Symbolic Automatic Relations and Their Applications to SMT and CHC Solving," published in the proceedings of the 28th Static Analysis Symposium (SAS 2021).
This package contains all the tools discussed in the paper, and all the benchmarks the evaluation was conducted on, along with README.md and benchmark scripts.
Files
artifact.zip
Files
(1.2 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:42842a45ffaefbf914a29c900a6f980b
|
1.2 GB | Preview Download |