Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-announce] partial order library
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-07-17 (18:26)
From: Markus Mottl <markus@m...>
Subject: [Caml-announce] partial order library

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


Best regards,
Markus Mottl

Markus Mottl                                   
Austrian Research Institute
for Artificial Intelligence