piwheels

py-aiger-discrete

Library for modeling functions over discrete sets using aiger circuits.

Installation

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

pip3 install py-aiger-discrete

Dependencies

• py-aiger-bv
• funcy
• py-aiger-ptltl
• pyrsistent

Releases

Version	Released	Bookworm Python 3.11	Trixie Python 3.13	Files
0.1.10	2022-11-03
py_aiger_discrete-0.1.10-py3-none-any.whl (7 KB)
0.1.9	2021-11-17
py_aiger_discrete-0.1.9-py3-none-any.whl (7 KB)
0.1.8	2021-02-10
py_aiger_discrete-0.1.8-py3-none-any.whl (7 KB)
0.1.7	2021-02-04
py_aiger_discrete-0.1.7-py3-none-any.whl (7 KB)
0.1.6	2020-11-05
py_aiger_discrete-0.1.6-py3-none-any.whl (7 KB)
0.1.5	2020-11-05
py_aiger_discrete-0.1.5-py3-none-any.whl (7 KB)
0.1.4	2020-10-20
py_aiger_discrete-0.1.4-py3-none-any.whl (7 KB)
0.1.3	2020-10-01
py_aiger_discrete-0.1.3-py3-none-any.whl (7 KB)
0.1.2	2020-09-30
py_aiger_discrete-0.1.2-py3-none-any.whl (7 KB)
0.1.1	2020-09-25
py_aiger_discrete-0.1.1-py3-none-any.whl (6 KB)

Issues with this package?

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