Published May 4, 2026 | Version v1
Dataset Open

TalisMan2.0 (Artifact)

Authors/Creators

  • 1. ROR icon Johannes Kepler University of Linz
  • 2. ROR icon TU Wien
  • 3. ROR icon The Hong Kong University of Science and Technology (Guangzhou)

Description


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

Files

README.md

Files (151.2 MB)

Name Size
md5:b3ef332a98057a079e32e298a5e2e452
1.1 kB Download
md5:4bedd8d85e9f893b622469401098fec1
3.7 kB Preview Download
md5:7f67b47179f453c69f58d8644c854d46
151.2 MB Preview Download

Additional details

Software

Repository URL
https://github.com/d-kfmnn/talisman2