mozart-doc (lang/mozart-doc) Add to my watchlist

Mozart-Oz documentation

The Mozart system is a development platform focused on open distributed computing and constraint-based inferrence. The system provides excellent support for logic and constraint programming, making it an excellent choice for implementing multi-agent systems. The language has recently been popularized by the book Concepts, Techniques, and Models of Computer Progamming. This port installs the documentation and help files.

Version: 1.4.0 License: unknown GitHub
Maintainers No Maintainer
Categories lang
Platforms darwin
Variants -

"mozart-doc" depends on

build (1)

Ports that depend on "mozart-doc"

No ports

Port Health:

Loading Port Health

Installations (30 days)


Requested Installations (30 days)


Livecheck error

Error: cannot check if mozart-doc was updated (The requested URL returned error: 404 Not Found)

last updated: 1 day, 6 hours ago