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: 563
Downloads last week: 5,005
Downloads last month: 19,750