Top

Oz Explorer - Visual Constraint Programming Support

Christian Schulte

The Oz Explorer is a graphical and interactive tool to visualize and analyze search trees. A research paper on the Oz Explorer is [Sch97].

• Table of Contents

• 1 Summary

• 2 Invoking the Explorer

• 3 The User Interface

• 4 The Search Tree

• 5 Status Information

• 6 The Menu Bar

• 7 User-defined Actions

• 8 The Explorer Object

• Bibliography

• Index