PyPI page
Home page
Author:
Marcell Vazquez-Chanlatte
License:
MIT
Summary:
Library for modeling functions over discrete sets using aiger circuits.
Latest version:
0.1.10
Required dependencies:
funcy
|
py-aiger-bv
|
py-aiger-ptltl
|
pyrsistent
Optional dependencies:
mdd
Downloads last day:
1
Downloads last week:
161
Downloads last month:
35
7-day smoothing