GitHub repository: julianthome/smtlibv2-grammar
Primary language: SMT
Description: ANTLR SMT-LIB v2 Grammar