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.