TalisMan2.0 (Artifact)
TalisMan Version 2.0 is a verification and analysis tool for AIG-based circuits. This artifact contains the source code used in the experimental evaluation in the paper: C. Hofstadler, D.Kaufmann, and C. ChenAvoiding Big Integers: Parallel Multimodular Algebraic Verifi
TalisMan Version 2.0 is a verification and analysis tool for AIG-based circuits.
This artifact contains the source code used in the experimental evaluation in the paper:
C. Hofstadler, D.Kaufmann, and C. Chen
Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
Intl. Joint Conference on Automated Reasoning (IJCAR), 2026
📤 Share this page
Found this useful? Share it with your network.
Files are hosted on the source repository. Click download to access the full dataset.