From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA18634; Tue, 17 Jul 2001 20:26:39 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-announce@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA18670 for caml-announce@pauillac.inria.fr; Tue, 17 Jul 2001 20:26:39 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA14489 for ; Tue, 17 Jul 2001 16:30:58 +0200 (MET DST) Received: from fichte.ai.univie.ac.at (fichte.ai.univie.ac.at [131.130.174.156]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f6HEUuH00873 for ; Tue, 17 Jul 2001 16:30:56 +0200 (MET DST) Received: (from markus@localhost) by fichte.ai.univie.ac.at (8.9.3/8.9.3/Debian 8.9.3-21) id QAA18674 for caml-announce@inria.fr; Tue, 17 Jul 2001 16:30:54 +0200 Date: Tue, 17 Jul 2001 16:30:54 +0200 From: Markus Mottl To: caml-announce Subject: [Caml-announce] partial order library Message-ID: <20010717163054.A18175@fichte.ai.univie.ac.at> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i Sender: owner-caml-announce@pauillac.inria.fr Precedence: bulk Hello, I'd like to announce the availability of a new library that allows you to conveniently and efficiently manipulate maps of partially ordered elements (i.e. also lattice structures) in a purely functional way. Such structures are often needed in various areas of computer science and artificial intelligence (e.g. data-mining, databases, software engineering, etc.). The distribution also contains an example that can render partial orders in form of Hasse-diagrams using AT&T's dot-utility. Please read the distributed README for more details. Here is the link (distribution "POMAP"): http://www.ai.univie.ac.at/~markus/home/ocaml_sources.html Enjoy! Best regards, Markus Mottl -- Markus Mottl markus@oefai.at Austrian Research Institute for Artificial Intelligence http://www.oefai.at/~markus