Artifact for Paper cvc5: A Versatile and Industrial-Strength SMT Solver
- Barbosa, Haniel
- Barrett, Clark
- Brain, Martin
- Kremer, Gereon
- Lachnitt, Hanna
- Mann, Makai
- Mohamed, Abdalrhman
- Mohamed, Mudathir Mahgoub Yahia
- Niemetz, Aina
- Noetzli, Andres
- Ozdemir, Alex
- Preiner, Mathias
- Reynolds, Andrew
- Sheng, Ying
- Tinelli, Cesare
- Zohar, Yoni
Publication date
November 2021
DOIAbstract
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/556259
Add to ORKG