[submodule "src/vendor/yices/v2.6/yices2"]
	path = src/vendor/yices/v2.6/yices2
	url = https://github.com/SRI-CSL/yices2