On Wed, 26 Sep 2001, Mattias Waldau wrote:
> I am converting some code from SICStus Prolog, and need a directed graph
> library for Ocaml. Any pointers?

I ported part of Martin Erwig's Functional Graph Library to OCaml, the
part that uses functional maps as arrays. I used a hacked version of
Jean-Christophe Filliatre's Patricia tree implementation for that. I
haven't yet written the version tree code. If you don't mind its
incomplete state and would like to help complete the port I can wrap it
up and e-mail it to you.

See http://www.cs.orst.edu/~erwig/fgl/ for the original.

You might also consider porting a more imperative library, like the one in
SML for MLRISC, if you are comfortable with SML too. FGL is cool but I'm
not confident that the performance will match a tuned imperative
implementation :-).

-- Brian

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr