PyPI page
Home page
Author:
Marcell Vazquez-Chanlatte
License:
MIT
Summary:
A Python library for compiling AIGs to Javascript.
Latest version:
0.1.1
Required dependencies:
attrs
|
funcy
|
py-aiger
|
py-aiger-ptltl
|
pytest-flake8
|
pytest-xdist
Downloads last day:
0
Downloads last week:
18
Downloads last month:
33