Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
From: Markus Mottl <markus@m...>
Subject: [Caml-announce] partial order library
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