[submodule "libpotassco"]
	path = libpotassco
	url = https://github.com/potassco/libpotassco.git
