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