In this report, IOzSeF, a search factory for Mozart/Oz, is presented. Search plays an important role in constraint programming. In Mozart/Oz, search is done by library procedures or the Explorer, a graphical search tool. All these have some shortcomings, mainly that features like recomputation, best solution search and visualisation cannot be combined with freely. IOzSeF aims at combining the advantages of the currently available tools into one library, enabling the user to build custom-made search engines.
Download PDF Show BibTeX
Login to edit