[submodule "pyIbex"]
	path = pyIbex
        url = https://github.com/Elessog/pyIbex.git
