SMT-LIBv2 grammar for tree-sitter
- The SMT-LIB standard reference - The standard reference provides a formal description of the language.
- Improve the queries file
- Write some tests and examples
Halbaroth/tree-sitter-smtlib2
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|