Published June 13, 2022
| Version v1
Software
Open
AMulet 2.1
Creators
Description
This is the artifact for our STTT22 Submission: Improving AMulet2 for Verifying Multiplier Circuits
using SAT solving and Computer Algebra
Files
Files
(14.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:79c32f6235a8458667353dddf91b69d5
|
14.3 MB | Download |