Browse thread
[Caml-list] Graphmanipulation in Ocaml
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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