Geek Repo
followers
following
stars
Location:Cambridge, MA
Github PK Tool:Github PK Tool
A parser for minimalist grammars that uses the Z3 SMT-solver.
Infer Minimalist Grammars using the Z3 SMT-solver