This manual contains information on the modelling level search and propagation visualisation tools available in ECLiPSe.
In order to investigate the behaviour of your constraint logic programs at a level of abstraction above that provided by the source level debugger, ECLiPSe provides the following visualisation tools.