dfa-identify (pypi): Python library for identifying (learning) DFAs (automata) from labeled examples.
Keywords: automata|dfa|learning|sat