This is the documentation of CP(Map) and CP(Map+Graph).
As described in [1], Map variables and constraints for approximate graph matching are implemented. The later constraints are implemented on top of CP(Map) and CP(Graph).
Please refer to [1] and [2] for extensive description of this framework.
[2] S. Zampelli, Y. Deville and P. Dupont, Declarative Approximate Graph Matching Using a Constraint Approach, Second International Workshop on Constraint Propagation and Implementation, Sitges (Barcelona), Spain, October 1, Vol. 1, pp. 109-124, 2005.