team |
AMulet 2.0This page provides access to AMulet 2.0, described in our paper submitted to TACAS 2021. PaperDaniela Kaufmann and Armin Biere. AMulet 2.0 for
Verifying Multiplier Circuits. Source codeThe maintained version of AMulet 2.0 can be found on GitHub.[ amulet2.tar.xz ] source code from submission |