Using ATL to define advanced and flexible constraint model transformations

Raphael Chenouard, Laurent Granvilliers, Ricardo Soto

Transforming constraint models is an important task in re- cent constraint programming systems. User-understandable models are defined during the modeling phase but rewriting or tu…