clp2zinc: compiling CLP into CSP!

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

Have a look at the slides of the clp2zinc presentation: Search as Constraint Satisfaction.