GitHub repository: mvcisback/py-aiger-abc
Primary language: Python
Created: 2019-10-29T03:03:44Z
Description: Aiger <-> ABC bridge