https://github.com/xiaq/parsing-as-smt

SMT generator for CFG parsing problems
https://github.com/xiaq/parsing-as-smt

Last synced: 21 days ago
JSON representation

SMT generator for CFG parsing problems

• Host: GitHub
• URL: https://github.com/xiaq/parsing-as-smt
• Owner: xiaq
• Created: 2015-04-30T20:03:20.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2015-05-12T21:10:28.000Z (over 9 years ago)
• Last Synced: 2024-12-02T08:56:42.763Z (23 days ago)
• Language: Go
• Size: 129 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project