[submodule "boolector"]
	path = boolector
	url = https://github.com/Boolector/boolector.git
