https://github.com/mvcisback/dfa-identify
GitHub - mvcisback/dfa-identify: Python library for identifying/learning DFAs from labeled examples...
Python library for identifying/learning DFAs from labeled examples by reduction to SAT. - mvcisback/dfa-identify