[submodule "src/search/HeLP-core"]
	path = src/search/HeLP-core
	url = git@github.com:Help-en-Lifted-Planning/HeLP-core.git
