Geeks
indurks
/
mgsmt
A parser for minimalist grammars that uses the Z3 SMT-solver.
Primary Language
Python
MIT License
MIT
mgsmt GitHub
Markdown
Readme
0
Issues
3
Stargazers
1
Watcher
Stargazers
andrewmkato
University of California, Santa Cruz
konstantinosKokos
Utrecht University
yutomi7a
Universität Leipzig