[submodule "GPMC"]
	path = GPMC
	url = https://github.com/System-Verification-Lab/GPMC.git

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