[submodule "cvc5-sys/cvc5"]
	path = cvc5-sys/cvc5
	url = https://github.com/cvc5/cvc5.git
	ignore = dirty
