Pinned Repositories
mgsmt
A parser for minimalist grammars that uses the Z3 SMT-solver.
mgsmt-inference
Infer Minimalist Grammars using the Z3 SMT-solver
indurks's Repositories
indurks/mgsmt
A parser for minimalist grammars that uses the Z3 SMT-solver.
indurks/mgsmt-inference
Infer Minimalist Grammars using the Z3 SMT-solver