.gitmodules

[submodule "lib/catch"]
	path = lib/catch
	url = https://github.com/catchorg/Catch2
[submodule "lib/variant"]
	path = lib/variant
	url = https://github.com/mapbox/variant
[submodule "tests/data/pddl-instances"]
	path = tests/data/pddl-instances
	url = https://github.com/potassco/pddl-instances.git
[submodule "lib/cxxopts"]
	path = lib/cxxopts
	url = https://github.com/jarro2783/cxxopts