A tool to map and match CityGML datasets, as well as interpret their changes, all by using graphs. - View it on GitHub