GitHub topics: minimalist-program
indurks/mgsmt-inference
Infer Minimalist Grammars using the Z3 SMT-solver
Language: Python - Size: 1.03 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
Infer Minimalist Grammars using the Z3 SMT-solver
Language: Python - Size: 1.03 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0