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