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