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. We have developed applications in scheduling and time-tabling, in placement and configuration, in natural language and knowledge representation, multi-agent systems and sophisticated collaborative tools. For more check the excellent documentation at: WWW: http://www.mozart-oz.org/ - Mathias mathiasp@virtual-earth.de
aboutsummaryrefslogtreecommitdiffstats
path: root/games/khangman
Commit message (Expand)AuthorAgeFilesLines
* Update KDE Applications to 19.04.2tcberner2019-06-071-3/+3
* Update KDE Applications to 19.04.1tcberner2019-05-101-3/+3
* Update KDE Applications to 19.04.0tcberner2019-04-191-3/+3
* Update KDE Applications to 18.12.3tcberner2019-03-082-3/+4
* Update KDE Applications to 18.12.2tcberner2019-02-082-4/+3
* Fix Qt5 symbol version scripts to put the catch-all clause first. Whentijl2019-01-161-0/+1
* Update KDE Applications to 18.12.1tcberner2019-01-111-3/+3
* Change cmake default behaviour to outsource.tcberner2018-12-261-1/+1
* Update KDE Applications to 18.12.0tcberner2018-12-143-5/+3
* Bump PORTREVISION for ports depending on the canonical version of GCCgerald2018-12-121-1/+1
* Update KDE Applications to 18.09.3tcberner2018-11-101-3/+3
* Merge lang/qt5-qml and x11-toolkits/qt5-quick into x11-toolkits/qt5-declarativetcberner2018-11-051-1/+2
* Fix build with GCC-based architectures for various kde@ ports.tcberner2018-10-271-1/+1
* Update KDE Applications to 18.08.2tcberner2018-10-121-3/+3
* Add DOCS options to ports that should have one.mat2018-09-101-0/+2
* Update the current KDE Applications to 18.08.1, the latest release.adridg2018-09-071-3/+3
* Update KDE Applications to 18.08tcberner2018-08-251-3/+3
* Update KDE Applications to 18.04.3tcberner2018-07-141-3/+3
* Replace bsd.qt.mk by Uses/qt.mk and Uses/qt-dist.mktcberner2018-06-291-2/+2
* Update KDE Applications to 18.04.2tcberner2018-06-101-3/+3
* Update KDE Applications to 18.04.1tcberner2018-05-111-3/+3
* Update KDE Applications to 18.04.0tcberner2018-04-291-3/+3
* New ports: KDE Applicationsa games/tcberner2018-04-094-0/+171
* Give the KDE SC4 applications ports a -kde4 suffixtcberner2018-02-234-73/+0
* Rename KDE4 meta portstcberner2018-02-101-1/+1
* Chase ffmpeg 3.3 update (ABI changes)riggs2017-04-251-0/+1
* Introduce new extensible virtual categories for KDEtcberner2016-10-191-3/+1
* Replace Mk/bsd.kde4.mk by Mk/Uses/kde.mk in preparation for KDE Frameworks andtcberner2016-08-241-2/+2
* Remove expired misc/kdehier4 and update all of its consumers to not reference...rene2016-05-26