11 dependents
| Package | Description | Downloads/month |
|---|---|---|
| Code for transforming aiger expression into an equi-satisifabile aiger expressio... | 21K | |
| A python library for manipulating sequential and-inverter gates. | 2K | |
| Library for creating circuits that encode discrete distributions. The name comes... | 1K | |
| Aiger <-> BDD bridge. | 981 | |
| Pythonic interface between AIGs and SAT solvers. | 616 | |
| Python library for converting between AIG circuits and DFAs. | 546 | |
| past-ltl -> aiger circuit library. | 509 | |
| Python abstraction around Binary Decision Diagrams to implement Multivalued Deci... | 492 | |
| Library for modeling gridworlds as AIGER circuits. | 288 | |
| Bridge to using Berkeley-ABC with py-aiger. | 166 | |
| A Python library for compiling AIGs to Javascript. | 131 |
