Published April 25, 2023
| Version v1
Software
Open
Bitwuzla
Description
This artifact contains the log files and data to replicate the experiments in the paper "Bitwuzla" accepted to CAV'23. Please refer to the Readme.md for further instructions.
Files
cav2023-bitwuzla-artifact.zip
Files
(3.4 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:4df89e7c1bf2e37d19da81710059d5bc
|
3.4 GB | Preview Download |
|
md5:61a431c7d2a70ff1c7b3a7111573f123
|
17.4 kB | Preview Download |