GitHub repository: mvcisback/py-aiger
Primary language: Python
Description: py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).