[ artifact ]
AMulet 2.0 Artifcat
This page provides access to the artifact of our paper
Daniela Kaufmann and Armin Biere. AMulet 2.0 for
Verifying Multiplier Circuits.
The artifact is tested using the TACAS 21 Artifact Evaluation VM,
available at zenodo.org.
In Proc. 14th Intl. Conference on Tools and Algorithms
for the Construction and Analysis of Systems (TACAS), 8 pages,
To Appear at TACAS
[ artifact.zip ] artifact