piwheels

py-aiger-js

A Python library for compiling AIGs to Javascript.

Installation

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

pip3 install py-aiger-js

Dependencies

• pytest-flake8
• attrs
• py-aiger-ptltl
• funcy
• py-aiger
• pytest-xdist

Releases

Version	Released	Bookworm Python 3.11	Trixie Python 3.13	Files
0.1.1	2020-05-20
py_aiger_js-0.1.1-py3-none-any.whl (3 KB)
0.1.0	2020-05-19
py_aiger_js-0.1.0-py3-none-any.whl (3 KB)

Issues with this package?

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