indurks

Cambridge, MA

Pinned Repositories

mgsmt
A parser for minimalist grammars that uses the Z3 SMT-solver.
Language:Python3 1 00
mgsmt-inference
Infer Minimalist Grammars using the Z3 SMT-solver
Language:Python1 1 00

indurks's Repositories

indurks/mgsmt
A parser for minimalist grammars that uses the Z3 SMT-solver.
Language:Python3 1 00
indurks/mgsmt-inference
Infer Minimalist Grammars using the Z3 SMT-solver
Language:Python1 1 00