AMulet

This page provides access to evaluate the experiments described in our paper at FMCAD 2019.

Paper

Daniela Kaufmann, Armin Biere, Manuel Kauers.
Verifying Large Multipliers by Combining SAT and Computer Algebra.
To appear.
[ paper | bibtex ]

Experiments

[ KaufmannBiereKauers-FMCAD-19-data.tar.xz ] all data, benchmarks and source code (26.1 MB)
[ KaufmannBiereKauers-FMCAD-19-src.tar.xz ] source code only (541 KB)