piwheels

py-aiger-cnf

Python library to convert between AIGER and CNF

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install py-aiger-cnf

Dependencies

• py-aiger
• bidict
• funcy

Releases

Version	Released	Bullseye Python 3.9	Bookworm Python 3.11	Trixie Python 3.13	Files
5.0.8	2024-03-16
py_aiger_cnf-5.0.8-py3-none-any.whl (5 KB)
5.0.7	2022-11-03
py_aiger_cnf-5.0.7-py3-none-any.whl (5 KB)
5.0.6	2022-11-03
py_aiger_cnf-5.0.6-py3-none-any.whl (5 KB)
5.0.5	2022-11-03
py_aiger_cnf-5.0.5-py3-none-any.whl (5 KB)
5.0.4	2021-11-17
py_aiger_cnf-5.0.4-py3-none-any.whl (5 KB)
5.0.3	2021-11-16
py_aiger_cnf-5.0.3-py3-none-any.whl (5 KB)
5.0.2	2021-08-15
py_aiger_cnf-5.0.2-py3-none-any.whl (5 KB)
5.0.1	2020-09-12
py_aiger_cnf-5.0.1-py3-none-any.whl (5 KB)
5.0.0	2020-05-17
py_aiger_cnf-5.0.0-py3-none-any.whl (5 KB)
4.0.0	2020-05-14
py_aiger_cnf-4.0.0-py3-none-any.whl (5 KB)
3.0.0	2020-03-14
py_aiger_cnf-3.0.0-py3-none-any.whl (5 KB)
2.0.0	2019-10-28
py_aiger_cnf-2.0.0-py3-none-any.whl (5 KB)
1.2.0	2019-10-28
py_aiger_cnf-1.2.0-py3-none-any.whl (5 KB)
1.1.0	2019-10-23
py_aiger_cnf-1.1.0-py3-none-any.whl (5 KB)
1.0.0	2019-10-21
py_aiger_cnf-1.0.0-py3-none-any.whl (4 KB)
0.1.2	2019-07-24
py_aiger_cnf-0.1.2-py3-none-any.whl (4 KB)
0.1.1	2019-07-22
py_aiger_cnf-0.1.1-py3-none-any.whl (4 KB)
0.1.0	2019-07-22
py_aiger_cnf-0.1.0-py3-none-any.whl (4 KB)

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue