From: Christian Schulte <schulte@dfki.de>
Subject: DFKI Oz 2.0 - Oz development tools
Date: Wed, 11 Feb 1998 21:07:02 GMT

-----BEGIN PGP SIGNED MESSAGE-----

Announcing the release of DFKI Oz 2.0
- -------------------------------------

Oz is a high-level programming language combining
constraint inference with concurrency.  Typical
application areas of Oz include optimization problems
like scheduling, time tabling, placement and
configuration, reasoning and knowledge representation,
processing of natural language, simulations, multi
agent systems, and sophisticated graphical user
interfaces.
  
Oz is dynamically typed and has first-class procedures,
classes, objects, exceptions and sequential threads
synchronizing over a constraint store.  It supports
finite domain and feature constraints and has powerful
primitives for programming constraint inference engines
at a high level.

DFKI Oz 2.0 is an interactive implementation of Oz
featuring an incremental compiler, support for
stand-alone applications, an object-oriented interface
to Tcl/Tk, and unique graphical tools for constraint
programming. It provides an extensive library of
constraint propagators, distributors, and search
engines, including special support for scheduling.
Users can add their own constraint propagators through
a C++ interface.  Performance is competitive with the
best Prolog, Lisp, and constraint programming systems.
DFKI Oz 2.0 is available for Unix and Windows.

Further information, the system, tutorials and
documentation are available at 
        http://www.ps.uni-sb.de/oz/


Programming Systems Lab
DFKI and Universität des Saarlandes
http://www.ps.uni-sb.de/



- -- 
This article has been digitally signed by the moderator, using PGP.
http://www.iki.fi/mjr/cola-public-key.asc has PGP key for validating signature.
Send submissions for comp.os.linux.announce to: linux-announce@news.ornl.gov
PLEASE remember a short description of the software and the LOCATION.
This group is archived at http://www.iki.fi/liw/linux/cola.html

-----BEGIN PGP SIGNATURE-----
Version: 2.6.3ia
Charset: latin1

iQCVAgUBNOIS9lrUI/eHXJZ5AQEhwwP8CXN0THQZ5z+3g7pxlVVxTVg20ug8F4Tk
7J2HrRoN+iSgfuh2mMJ7hwoTzfLZDiVjKfNgPzf6HRfD7kzDudvFGLO6CJeDZEa+
5yx4oXc/KbV/R74NyjrHuumP1dzqwdbRquPZDnPt6ynYphGpcyHWzxTSiERdo12c
Vhfmj9oiPsE=
=h2B1
-----END PGP SIGNATURE-----