[submodule "clingo-sys/clingo"]
	path = clingo-sys/clingo
	url = https://github.com/potassco/clingo.git
