Oz Explorer

Oz explorer: a visual constraint programming tool. Development of applications based on constraint programming proceeds in two steps. The first step is to design a principally working solution. This is followed by the much harder task to make this solution work for problems of real-world size. The latter task usually involves a high amount of experimentation to gain additional insights into the structure of the problem. The Oz Explorer is a visual constraint programming tool for Oz. The Explorer uses the search tree of a constraint problem as its central metaphor. The Explorer implements a user-guided search strategy: The user can interactively explore the search tree which is visualised as it is explored