Featured Dataset
TACAS’26 Artifact for Bit-Precise Interpolation in Bitwuzla
This artifact contains the source code, log files, data and scripts to replicate the experiments in the paper "Bit-Precise Interpolation in Bitwuzla" at TACAS'26. Please refer to the Readme.md for further instructions.
File Size3.1 GB
Data TypeDataset
Published2026
Licensecc-by-4.0
Total Views313
Total Downloads53
This artifact contains the source code, log files, data and scripts to replicate the experiments in the paper “Bit-Precise Interpolation in Bitwuzla” at TACAS’26. Please refer to the Readme.md for further instructions.
📤 Share this page
Found this useful? Share it with your network.
Files are hosted on the source repository. Click download to access the full dataset.
Niemetz, Aina (2026). TACAS’26 Artifact for Bit-Precise Interpolation in Bitwuzla. https://doi.org/10.5281/zenodo.18331207