Published November 4, 2021
| Version v2
Other
Open
Artifact for Paper cvc5: A Versatile and Industrial-Strength SMT Solver
Creators
- 1. Universidade Federal de Minas Gerais
- 2. Stanford University
- 3. City, University of London
- 4. University of Iowa
Description
To use this artifact, use the TACAS22 VM [0]. Copy the archive into the VM, unpack it, and then follow the instructions in Readme.txt to replicate the results in the paper.
[0] https://zenodo.org/record/5562597
Files
artifact.zip
Files
(3.8 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:6fe8ba22c666fd87df89fd209b9fc518
|
3.8 GB | Preview Download |