IOzSeF - The Integrated Oz Search Factory

Fortgeschrittenen-Praktikum von Guido Tack
Betreut von Christian Schulte

Summary

Search is an important aspect of constraint programming. In current implementations of search in Mozart, the user may choose between different search strategies (like depth first or limited discrepancy), or use the interactive search tool (Explorer).
IOzSeF aims at giving the user the full control over the following orthogonal aspects:

• exploration strategy
• recomputation strategy
• optimization (branch & bound)
• visualization / access to solutions

On the developer side, IOzSeF provides an API that makes it easy to implement new exploration strategies on a high level.

Progress

The implementation of IOzSeF is nearly feature complete. The graphical user interface has been designed around that of the Explorer.
The source code is released and can be obtained from Mogul as mogul:/tack/iozsef.
Things that still need to be done:

• Completion of the Gtk-UI
• Option to stop the search engine
• Implement information/comparison actions

Things that might be done in the future:

• Support for parallel search

Further information:

• Screenshots
• Presentation slides: (pdf)
• Project report: (ps.gz) (pdf)