Reverse Dependencies of dfa

The following projects have a declared dependency on dfa:

• bdd2dfa — Python library for converting binary decision diagrams to automata.
• dfa-identify — Python library for identifying (learning) DFAs (automata) from labeled examples.
• dfa-mutate — Library for mutating a DFA represented using the dfa library.
• lstar — Python implementation of lstar automata learning algorithm.
• mce-spec-inference — Maximum Causal Entropy Specification Inference.
• probabilistic-automata — Python library for manipulating probabilistic automata.
• py-aiger-dfa — Library for moving between sequential circuits AIGs and DFAs.