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