Solver - An Oz Search Debugger
This paper shows the Oz Solver, a tool designed to support the development of constraint programs.
The Solver allows the user to interactively solve a constraint problem. As the problem's search tree is explored the Solver incrementally draws its graphical presentation. The user has access to the computation state at any node in the tree.
Although search is controlled interactively by the user, implementing the Solver does not require any other primitives than those provided by Oz.
It is planned to include the Oz Solver in the next release of the DFKI Oz system.
In: WOz'95, International Workshop on Oz Programming, Institut Dalle Molle d'Intelligence Artificielle Perceptive, Martigny, Switzerland. November, 1995.