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-list] Graphmanipulation in Ocaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Francisco J. Valverde Albacete <fva@t...>
Subject: Re: [Caml-list] Graphmanipulation in Ocaml
Arne Koewing wrote:

>I am looking for an library for graph-manipulation/handling.
>Do you know any implementations for ocaml?
I have found useful constructs in:

- the pomap (partial order) Library for maintaining partially ordered 
maps, by Markus Mottl:

- the Bitv library A bit vectors library, by Jean-Christophe Filliātre 
to encode graphs by means of the incidence relation.

I've used these for encoding very particular relations interpreted as 
their order graphs.

Hope you have luck with it and, please, give us notice of your progress.


    Francisco Valverde
    Univ. Carlos III de Madrid

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: