Reverse Dependencies of bdd2dfa

The following projects have a declared dependency on bdd2dfa:

• mce-spec-inference — Maximum Causal Entropy Specification Inference.
• mdd — Python abstraction around Binary Decision Diagrams to implement Multivalued Decision Diagrams.