Published April 3, 2024
| Version v1
Other
Open
CAV'24 Artifact for Scalable Bit-Blasting with Abstractions
- 1. Stanford University
- 2. Bar-Ilan University
Description
This artifact contains the source code, log files, data and scripts to replicate the experiments in the paper "Scalable Bit-Blasting with Abstractions" accepted to CAV'24. Please refer to the Readme.md for further instructions.
Files
cav24-artifact.zip
Files
(4.3 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:4b8e58f283ee0f0520cc187aeacd97ae
|
4.3 GB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/bitwuzla/bitwuzla