GitHub repository: mvcisback/py-aiger-analysis
Primary language: Python
Description: pyAiger-Analysis: Tools for analyzing aiger circuits.