[submodule "subprojects/posets"]
	path = subprojects/posets
	url = https://github.com/michaelcadilhac/posets.git
