Symbolic Automatic Relations and Their Applications to SMT and CHC Solving
收藏数据链接：
官方服务：
资源简介：
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.
提供机构：
Zenodo创建时间：
2021-07-28
