Published January 8, 2026
| Version v1
Software
Open
Artifact for Hint-Based SMT Proof Reconstruction
Authors/Creators
-
1.
Carnegie Mellon University
- 2. Universidade Federal de Minas Gerais
Description
This artifact can be used to replicate the results in Hint-Based SMT Proof Reconstruction. Unpack the zip file, and then follow the instructions in README.md to replicate the results in the paper.
Files
Files
(325.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:ce10bb6f2901186eab5aa1515fb41b68
|
325.8 MB | Download |