IOzSeF - The Integrated Oz Search Factory

Screenshots

Picture 1: A partly explored tree, search engines menu

Picture 2: A search tree with suspended nodes, drawing options dialog

Picture 3: A search tree with suspended nodes, recomputation options dialog