Published January 21, 2026 | Version v2
Dataset Open

TACAS'26 Artifact for Bit-Precise Interpolation in Bitwuzla

Authors/Creators

  • 1. Stanford University

Description

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.

Files

tacas26-artifact-8377.zip

Files (3.4 GB)

Name Size Download all
md5:029aa039293f78cee04e5e25162b6fbc
3.4 GB Preview Download

Additional details

Software

Repository URL
https://github.com/bitwuzla/bitwuzla