TeluMA

This page provides access to TeluMA, benchmarks and experimental results, described in our paper accepted at DATE 2022.

Paper

Daniela Kaufmann, Paul Beame, Armin Biere and Jakob Nordström. Adding Dual Variables to Algebraic Reasoning for Circuit Verification.
In Proc. Design, Automation and Test in Europe Conference (DATE) 2022, 6 pages, To Appear.

Source code

[ teluma.zip ] source code from submission

Experiments

[ KaufmannBeameBiereNordstroem-DATE22-expdata.zip ] data
[ benchmarks.tar.xz ] benchmarks