clp2zinc is a front-end to compile CLP specifications of search strategies into Zinc models. Zinc is a well-established language to describe CSP: MiniZinc should be installed to run the generated models. Moreover, dynamic search strategies (with indexicals) should be run with a patched solver.
Each of the following archives contains the documentation, the standard library and some examples.
Customized versions of some solvers for dynamic strategies (with some contributions of Philippe.Morignot@inria.fr):
Have a look at the slides of the clp2zinc presentation: Search as Constraint Satisfaction.