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