GitHub repository: jzhang919/py-aiger-bv
Primary language: Python
Description: pyAiger-BV: Extension of pyAiger for manipulating sequential bitvector circuits.