[submodule "ext/Marabou"]
	path = ext/Marabou
	url = git@github.com:massle/Marabou.git
[submodule "ext/cpddl"]
	path = ext/cpddl
	url = git@github.com:massle/cpddl.git
