[submodule "SEAL"]
	path = SEAL
	url = https://github.com/microsoft/SEAL.git