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