Mozart v1

If you are interested in using a previous major release of Mozart, perhaps for its constraint programming or distributed programming functionality, or to better understand a related publication, you can find documentation and download information below.

Source code

Source code is available from the Mozart Github project.

Installation binaries

To install Mozart 1 you can download release binaries from the project’s Sourceforge directory.


Mozart v1.4.0 documentation is provided online. For other releases see the source code or bundled documentation as applicable.