Browse thread
Re: [Caml-list] Initial port of ocaml for mingw (long)
-
CaptnJamesKirk@a...
-
Mattias Waldau
- Francois Pottier
- Markus Mottl
- Brian Rogoff
- Jean-Christophe Filliatre
- Mattias Waldau
-
Mattias Waldau
[
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: | Jean-Christophe Filliatre <Jean-Christophe.Filliatre@l...> |
| Subject: | Re: [Caml-list] Looking for Graph Operations-library |
Mattias Waldau writes:
> I am converting some code from SICStus Prolog, and need a directed graph
> library for Ocaml. Any pointers?
If you ever consider writing such a library from scratch, there at
least two books describing graphs data structures and algorithms in
very details:
The Stanford GraphBase
http://www-cs-staff.Stanford.EDU/~knuth/sgb.html
The LEDA Platform
http://www.mpi-sb.mpg.de/~mehlhorn/LEDAbook.html
Hope this helps,
--
Jean-Christophe Filliatre (http://www.lri.fr/~filliatr)
-------------------
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