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