piwheels

py-aiger-sat

Pythonic interface between AIGs and SAT solvers.

Installation

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

pip3 install py-aiger-sat

Dependencies

• py-aiger
• py-aiger-cnf
• python-sat

Releases

Version	Released	Bookworm Python 3.11	Trixie Python 3.13	Files
3.0.7	2024-03-16
py_aiger_sat-3.0.7-py3-none-any.whl (6 KB)
3.0.6	2022-11-03
py_aiger_sat-3.0.6-py3-none-any.whl (6 KB)
3.0.5	2021-11-16
py_aiger_sat-3.0.5-py3-none-any.whl (6 KB)
3.0.4	2020-09-30
py_aiger_sat-3.0.4-py3-none-any.whl (6 KB)
3.0.3	2020-09-12
py_aiger_sat-3.0.3-py3-none-any.whl (6 KB)
3.0.2	2020-09-12
py_aiger_sat-3.0.2-py3-none-any.whl (6 KB)
3.0.1	2020-08-05
py_aiger_sat-3.0.1-py3-none-any.whl (6 KB)
3.0.0	2020-05-18
py_aiger_sat-3.0.0-py3-none-any.whl (6 KB)
2.0.2	2020-05-17
py_aiger_sat-2.0.2-py3-none-any.whl (6 KB)
2.0.1	2020-05-17
py_aiger_sat-2.0.1-py3-none-any.whl (6 KB)
2.0.0	2020-05-17
py_aiger_sat-2.0.0-py3-none-any.whl (6 KB)
1.1.0	2020-03-24
py_aiger_sat-1.1.0-py3-none-any.whl (6 KB)
1.0.1	2019-10-29
py_aiger_sat-1.0.1-py3-none-any.whl (6 KB)
1.0.0	2019-10-22
py_aiger_sat-1.0.0-py3-none-any.whl (6 KB)
0.1.1	2019-07-24
py_aiger_sat-0.1.1-py3-none-any.whl (5 KB)
0.1.0	2019-07-24
py_aiger_sat-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