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