This is the documentation of CP(Map) and CP(Map+Graph).
As described in , 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  and  for extensive description of this framework.
 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.