Published April 25, 2023 | Version v1
Software Open

Bitwuzla

Authors/Creators

  • 1. Stanford University

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
md5:4df89e7c1bf2e37d19da81710059d5bc
3.4 GB Preview Download
md5:61a431c7d2a70ff1c7b3a7111573f123
17.4 kB Preview Download