You could have downloaded The Mozart Programming System 2.0 for Mac from our software library for free. The program is categorized as System Tools. Our built-in antivirus checked this Mac download and rated it as virus free. This free software for Mac OS X was originally produced by Mozart Consortium 2013.
From the developer:
The Mozart Programming System combines ongoing research in programming language design and implementation, constraint logic programming, distributed computing, and human-computer interfaces. Mozart implements the Oz language and provides both expressive power and advanced functionality.
The PLDC Research Group will use Mozart 2 for future programming education and future research in programming language design and implementation.
You may want to check out more Mac applications, such as phone.systems, TinkerTool System or System-i DBcompare Lite, which might be related to The Mozart Programming System.