Atom mapping with constraint programming.

Atom mapping with constraint programming.