GitHub repository: mvcisback/py-aiger-sat
Primary language: Python
Created: 2019-07-16T06:37:38Z
Description: Pythonic interface between AIGs and SAT solvers.