Z

z3gi

Grammatical inference using the Z3 SMT solver

Forked from Rick Smetsers / z3gi