[submodule "modelchecker/sylvan"]
	path = modelchecker/sylvan
	url = git@github.com:utwente-fmt/sylvan.git