Downloading DFKI Oz 2.0

  • Main Home Page

  • Features

  • Tools

  • Documentation

  • Download

  • Unix

  • Windows

  • If you can read this, your browser provides insufficient support for style sheets. The visual presentation of this document will suffer.


    DFKI Oz 2.0 is an interactive implementation of Oz featuring an incremental compiler, support for stand-alone applications, an object-oriented interface to Tcl/Tk, and unique graphical tools for constraint programming. It provides an extensive library of constraint propagators, distributors, and search engines, including special support for scheduling. Users can add their own constraint propagators through a C++ interface. Performance is competitive with the best Prolog, Lisp, and constraint programming systems. DFKI Oz 2.0 is available for Unix and Windows.


    For a short installation guide follow the instructions in the README file. Detailed instructions are found in the DFKI Oz User's Manual.

    Supported Platforms

    DFKI Oz 2.0 is available for


    In case you encounter problems during installations or bugs running Oz, please check known bugs and problems.

    Further Information

  • Our LICENSE contains the COPYRIGHT and NO WARRANTY.
  • Announcement of Release 2.0
  • Recent changes
  • For further information on DFKI Oz and the source code of DFKI Oz contact us.

  • Michael Mehl