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