piwheels

py-aiger-sat

Pythonic interface between AIGs and SAT solvers.

Installation

sudo pip3 install py-aiger-sat

Should I use sudo? pip or pip3?

Releases

Version	Released	Stretch Python 3.5	Buster Python 3.7	Bullseye Python 3.9	Files
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

Page last updated 2022-03-28 21:55:50 UTC