py-aiger-cnf

PyPI page
Home page
Author: Marcell Vazquez-Chanlatte
License: MIT
Summary: Python library to convert between AIGER and CNF
Latest version: 5.0.8
Required dependencies: bidict | funcy | py-aiger

Downloads last day: 765
Downloads last week: 2,714
Downloads last month: 15,097