[submodule "alliance-check-toolkit"]
	path = alliance-check-toolkit
	url = https://gitlab.lip6.fr/vlsi-eda/alliance-check-toolkit.git