<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <HTML><HEAD><TITLE>Oz Explorer - Visual Constraint Programming Support</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><P class="margin"><A href="../index.html">Top</A><BR><A href="http://www.mozart-oz.org/download/view.cgi?action=print&class=tools&name=Explorer">Print</A></P><H1 align="center" class="title">Oz Explorer - Visual Constraint Programming Support</H1><H2 align="center" class="authors"><A href="http://www.ps.uni-sb.de/~schulte/">Christian Schulte</A></H2><BLOCKQUOTE><P>The Oz Explorer is a graphical and interactive tool to visualize and analyze search trees. A research paper on the Oz Explorer is <A href="bib.html#schulte97">[Sch97]</A>. </P></BLOCKQUOTE><HR><UL class="toc"><LI><A href="toc.html#label1">Table of Contents</A></LI></UL><UL class="toc"><LI><A href="node1.html#chapter.summary">1 Summary</A></LI></UL><UL class="toc"><LI><A href="node2.html#chapter.invoke">2 Invoking the Explorer</A></LI></UL><UL class="toc"><LI><A href="node3.html#chapter.interface">3 The User Interface</A></LI></UL><UL class="toc"><LI><A href="node4.html#chapter.tree">4 The Search Tree</A></LI></UL><UL class="toc"><LI><A href="node5.html#chapter.status">5 Status Information</A></LI></UL><UL class="toc"><LI><A href="node6.html#chapter.menu">6 The Menu Bar</A></LI></UL><UL class="toc"><LI><A href="node7.html#chapter.actions">7 User-defined Actions</A></LI></UL><UL class="toc"><LI><A href="node8.html#chapter.object">8 The Explorer Object</A></LI></UL><UL class="toc"><LI><A href="bib.html#label19">Bibliography</A></LI></UL><UL class="toc"><LI><A href="idx.html#label20">Index</A></LI></UL><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~schulte/">Christian Schulte</A><BR><SPAN class="version">Version 1.4.0 (20090610)</SPAN></ADDRESS></BODY></HTML>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
bd5c3d824c3db63ffd9226c15941e6ad
>
files
>
781
