AMPL has revived its Constraint Programming support for IBM Cplex CP solver: http://www.zverovich.net/2012/10/constraint-programming-in-ampl.html. That is good news. I am often curious when building a MIP model if a CP formulation would do better. Supporting both MIP and CP in one environment makes it easier to try out both formulations. Many modern modeling languages support both paradigms these days (AIMMS, IBM OPL, AMPL,…).
Cplex has an update coming up: https://www.ibm.com/developerworks/mydeveloperworks/blogs/jfp/entry/cplex_12_5_announce4?lang=en.