Published August 22, 2025
| Version v1.0
Software
Open
FMCAD'25 Artifact for SMT Normalization
Creators
-
1.
Stanford University
- 2. The University of Iowa
Description
This artifact contains the source code (a snapshot of cvc5) required to build and run the normalizer in the paper "Towards SMT Solver Stability via Input Normalization" presented at FMCAD 2025. Please refer to "https://cvc5.github.io/docs/" on how to build cvc5 from source. The code is currently being merged into the main branch of cvc5.
Files
daneshvar-amrollahi/cvc5-v1.0.zip
Files
(12.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:7cac778fb78daa076adae0762a6a7d72
|
12.3 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/daneshvar-amrollahi/cvc5/tree/v1.0 (URL)
Software
- Repository URL
- https://github.com/daneshvar-amrollahi/cvc5