[submodule "packages/chr"]
	path = packages/chr
	url = git://yap.dcc.fc.up.pt/chr
[submodule "packages/clpqr"]
	path = packages/clpqr
	url = git://yap.dcc.fc.up.pt/clpqr
[submodule "packages/jpl"]
	path = packages/jpl
	url = git://yap.dcc.fc.up.pt/jpl