[submodule "external/oxidd"]
	path = external/oxidd
	url = https://github.com/OxiDD/oxidd.git
