We present a general methodology for transforming between HCLP and PCSP in both directions. HCLP and PCSP each have ad-vantages when modelling problems, and each have advantages when im-plementing models and solving them. Using the work presented in this paper, the appropriate paradigm can be used for each of these steps, with a meaning-preserving transformation in between if necessary.
展开▼