A parser for minimalist grammars that uses the Z3 SMT-solver.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
