11 dependents
| Package | Description | Downloads/month |
|---|---|---|
| A package for manipulating automata via algebraic representation theory | 2K | |
| BDD plugin for the automated analysis of feature models using a BDD. | 2K | |
| Ratio graph handling in Python. | 1K | |
| Aiger <-> BDD bridge. | 981 | |
| Specify and synthesize systems using symbolic algorithms | 954 | |
| Python abstraction around Binary Decision Diagrams to implement Multivalued Deci... | 492 | |
| A small tool which can convert automatically synthesised formally verified contr... | 468 | |
| Library for folding (or reducing) over a Reduced Ordered Binary Decision Diagram... | 383 | |
| PLCreX - Simplification, Transformation, Analysis, and Validation of IEC 61131-3... | 252 | |
| Fault Tree Analysis using BDDs | 195 | |
| Python library for converting the dd package's BDD to Multigraph in networkx. | 153 |
