[submodule "abc-build"]
	path = abc-build
	url = https://github.com/GaloisInc/abc.git
