Version franēaise
Home     About     Download     Resources     Contact us    
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:

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

- the pomap (partial order) Library for maintaining partially ordered 
maps, by Markus Mottl: 
http://www.ai.univie.ac.at/~markus/home/ocaml_sources.html)

- 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.

Regards,

    Francisco Valverde
    Univ. Carlos III de Madrid


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners