[submodule "cadical"]
	path = cadical
	url = https://github.com/mmaroti/cadical.git
