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.
In Proc. 14th Intl. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 8 pages, To Appear at TACAS 2021.


The artifact is tested using the TACAS 21 Artifact Evaluation VM, available at

[ ] artifact