Published November 4, 2021
| Version v2
Other
Open
Artifact for Paper cvc5: A Versatile and Industrial-Strength SMT Solver
Authors/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