haros-plugin-model-ged (pypi): Graph Edit Distance of HAROS models.
Keywords: graph-edit-distance|model-extraction