mozart-doc (lang/mozart-doc) Add to my watchlist
Mozart-Oz documentationThe 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 |
| Homepage | https://mozart.github.io |
| Platforms | any |
| Variants | - |
"mozart-doc" depends on
build (1)
Ports that depend on "mozart-doc"
No ports
Port Health:
Loading Port Health
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck error
Error: cannot check if mozart-doc was updated (The requested URL returned error: 404 Not Found)
last updated: 12 hours ago