Publication details

Saarland University Computer Science

IOzSeF - The Integrated Oz Search Factory

Guido Tack

Technical Report, 2002

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


Legal notice, Privacy policy