Introduction
When one opens a .idx file which is generated from a running ECLiPSe program, one will see two windows inside the main frame. These are a snap shot of the variables and the search tree at that instant. One window displays the variables and their current assignment, the other shows the search space associated with the current assignments to the variables.