[submodule "parser/smtlibv2-grammar"]
	path = parser/smtlibv2-grammar
	url = https://github.com/martinjonas/smtlibv2-grammar.git
