User-defined constraints including application of CHRs can be traced with the standard debugger. Debugging of the ECLiPSe code is done in the standard way. See the corresponding user manual for more information.