GitHub repository: mvcisback/py-aiger-cnf
Primary language: Python
Description: Code for transforming aiger expression into an equi-satisifabile aiger expression in CNF form.