The Mozart system provides state-of-the-art support in two areas: open distributed computing and constraint-based inference. Mozart implements Oz, a concurrent object-oriented language with dataflow synchronization. Oz combines concurrent and distributed programming with logical constraint-based inference, making it a unique choice for developing multi-agent systems. Mozart is an ideal platform for both general-purpose distributed applications as well as for hard problems requiring sophisticated optimization and inferencing abilities.
| Tags | Software Development Embedded Systems Interpreters |
|---|---|
| Licenses | Freeware |
Recent releases


Changes: The "byneed" synchronization and Oz "futures" have been redesigned and reimplemented. Stateful entities can be accessed using the uniform syntax. Usability has been improved by implementing much stricter liveness analysis during garbage collection. The distribution subsystem has been the subject of performance analysis and improvements. A lot of bugs have been fixed.


Changes: This is an important bug-fix release, with some enhancements, and is fully backward compatible with Mozart 1.2.0. All users are strongly encouraged to upgrade to Mozart 1.2.1.


Changes: This release contains a fairly complete overhaul of the constraint programming support (which makes the system leaner with respect to both code size and memory; several severe bugs have been fixed; a 20-40% speedup can be had on constraint applications). The documentation is now available as Postscript and PDF, and many bugs have been fixed.


Changes: This is a minor improvement release to fix some small bugs and offer some improvements. See the changelog for details.


Changes: Initial release.