https://github.com/milahu/z3gi

Grammatical inference using the Z3 SMT solver

automata-learning dfa-learning grammar-induction-algorithms grammatical-inference model-learning

Last synced: 14 Apr 2025