https://github.com/mvcisback/dfa-identify

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

automata dfa learning sat

Last synced: 6 months ago
JSON representation

Python library for identifying/learning DFAs from labeled examples by reduction to SAT.

• Host: GitHub
• URL: https://github.com/mvcisback/dfa-identify
• Owner: mvcisback
• License: mit
• Created: 2021-04-24T20:43:54.000Z (about 5 years ago)
• Default Branch: main
• Last Pushed: 2024-03-18T18:02:03.000Z (over 2 years ago)
• Last Synced: 2025-09-27T16:29:03.809Z (9 months ago)
• Topics: automata, dfa, learning, sat
• Language: Python
• Homepage:
• Size: 275 KB
• Stars: 8
• Watchers: 3
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE
  • Citation: CITATION.cff

Awesome Lists containing this project