AMulet 2.0

This page provides access to AMulet 2.0, described in our paper submitted to TACAS 2021.

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.
[ paper | bibtex | artifact ]

Source code

The maintained version of AMulet 2.0 can be found on GitHub.

[ amulet2.tar.xz ] source code from submission