Reverse Dependencies of dd

The following projects have a declared dependency on dd:

• dd2nx — Python library for converting the dd package's BDD to Multigraph in networkx.
• dtcontrol — A small tool which can convert automatically synthesised formally verified controllers into concise decision trees.
• famapy-bdd — bdd-plugin for the automated analysis of feature models
• flamapy-bdd — bdd-plugin for the automated analysis of feature models
• fold-bdd — Library for folding (or reducing) over a Reduced Ordered Binary Decision Diagram.
• mdd — Python abstraction around Binary Decision Diagrams to implement Multivalued Decision Diagrams.
• netcov — Coverage analyzer for network router configurations
• plcrex — PLCreX - Simplification, Transformation, Analysis, and Validation of IEC 61131-3 Programmable Logic Controllers
• py-aiger-analysis — An extension of py-aiger providing advanced tool support, including SAT and QBF solvers.
• py-aiger-bdd — Aiger to BDD bridge.
• ragraph — Ratio graph handling in Python.
• taupy — A Python package to study the theory of dialectical structures
• theodias — A python implementation of the theory of dialectical structures.