[eclipse-clp-users] Data-driven tracing of labeling and propagation

From: Joachim Schimpf <jschimpf_at_coninfer.com>
Date: Tue, 29 Mar 2016 12:39:55 +0100
Hello,

The following may be of interest to those who want to better follow
the progress of search while solving constraint problems.

I have uploaded an example
http://eclipseclp.org/examples/sudoku_traced.ecl.txt
that illustrates how suspended goals can be used to create a user-
defined trace of the search process. The advantage of the technique
is that it does not require any modification of the search procedure
itself, meaning that it works with the built-in black-box labeling/1
or search/6 predicates, as well as with your purpose-written ones.

It is a relatively simple technique that should nicely complement
the features of the Visualization tools
http://eclipseclp.org/doc/visualisation/visualisation.html
and CP-Viz
http://eclipseclp.org/doc/bips/lib_public/cpviz/index.html

Cheers,
Joachim
Received on Tue Mar 29 2016 - 11:39:56 CEST

This archive was generated by hypermail 2.2.0 : Tue Mar 29 2016 - 15:13:12 CEST