tree-sitter-smtlib2 SMT-LIBv2 grammar for tree-sitter References The SMT-LIB standard reference - The standard reference provides a formal description of the language. Task list Improve the queries file Write some tests and examples