[submodule "why3"]
	path = why3
	url = ../why3.git
	ignore = dirty
        branch = master
[submodule "alt-ergo"]
	path = alt-ergo
	url = ../alt-ergo.git
	ignore = dirty
        branch = master
[submodule "cvc5"]
	path = cvc5
	url = ../cvc5.git
	ignore = dirty
        branch = master
[submodule "z3"]
	path = z3
	url = ../z3.git
	ignore = dirty
        branch = master
