GitHub repository: mvcisback/dfa-identify
Primary language: Python
Description: Python library for identifying/learning DFAs from labeled examples by reduction to SAT.