z3gi

Grammatical inference using the Z3 SMT solver


License
MIT
Install
pip install z3gi==0.1.1