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