^
,
u) or
to skip to a particular constraint (w, i).
Note that most of the constraints are displayed using a write macro,
their internal form is different.
Successive updates of a domain variable can be traced using the debug event Hd. When used, the debugger prompts for a variable name and then it skips to the port at which the domain of this variable was reduced. When a newline is typed instead of a variable name, it skips to the update of the previously entered variable.
A sequence of woken goals can be skipped using the debug event Hw.