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 Verification of Arithmetic CircuitsIntl. Joint Conference on Automated Reasoning (IJCAR), 2026
提供机构：
Zenodo创建时间：
2026-05-04
