From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA05678; Fri, 30 Jan 2004 10:35:52 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA05907 for ; Fri, 30 Jan 2004 10:35:50 +0100 (MET) Received: from smtp02.uc3m.es (smtp02.uc3m.es [163.117.136.122]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id i0U9ZoP19241 for ; Fri, 30 Jan 2004 10:35:50 +0100 (MET) Received: from smtp02.uc3m.es (localhost [127.0.0.1]) by localhost.uc3m.es (Postfix) with ESMTP id DF982692B for ; Fri, 30 Jan 2004 10:35:49 +0100 (CET) Received: from ariel.tsc.uc3m.es (ariel.tsc.uc3m.es [163.117.145.25]) (using TLSv1 with cipher EDH-RSA-DES-CBC3-SHA (168/168 bits)) (No client certificate requested) by smtp02.uc3m.es (Postfix) with ESMTP id C6027687E for ; Fri, 30 Jan 2004 10:35:49 +0100 (CET) Received: from alcaudon.tsc.uc3m.es (alcaudon [163.117.145.35]) by ariel.tsc.uc3m.es (8.12.10/8.12.10) with ESMTP id i0U9Zgtl017341 for ; Fri, 30 Jan 2004 10:35:45 +0100 Received: from tsc.uc3m.es ([163.117.145.58]) by alcaudon.tsc.uc3m.es (Netscape Messaging Server 4.15) with ESMTP id HSAQNI00.32Q; Fri, 30 Jan 2004 10:35:42 +0100 Message-ID: <401A2684.1040209@tsc.uc3m.es> Date: Fri, 30 Jan 2004 10:40:20 +0100 From: fva User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.3.1) Gecko/20030428 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Jean-Christophe Filliatre Cc: caml-list@inria.fr Subject: Re: [Caml-list] poll for a graph library References: <16408.64997.828000.931868@gargle.gargle.HOWL> In-Reply-To: <16408.64997.828000.931868@gargle.gargle.HOWL> X-Enigmail-Version: 0.73.1.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-TSC-MailScanner-Information: e-mail scanned by Mail System in DTSC-UC3M X-TSC-MailScanner: Found to be clean X-TSC-MailScanner-Checksum: Test_Checksum X-TSC-MailScanner-Checksum-version: Test_version X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 annotated:01 annotations:01 boon:01 recursion:01 eagerly:01 filliatre:01 signoles:01 ocaml:01 ocaml:01 stacks:02 stacks:02 lazy:02 nodes:02 precisely:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk HI there I've been using heavily annotated graphs for unfolding searches in artificial intelligence. I need annotations in both nodes and edges, the type of edges being a sum of several informations among them costs. So incremental building and a control structure for traversal (queues, stacks, priority stacks) is a must. Lazy expansion of graphs would also be a boon, but I guess this can be coded into the functional recursion traversal. Regards and thank you very much for asking. Please count me as one looking eagerly forwards to seeing your code working, F. Valverde Jean-Christophe Filliatre wrote: >Dear ocaml users, > >Sylvain Conchon, Julien Signoles and myself have started a graph >library for ocaml. Before going further and releasing this library, we >would like to get some feedback from people currently using graphs in >ocaml applications or willing to do so. More precisely, we would like >to know what kind of operations on the graph structure and graph >algorithms are commonly used by such users. > >Could you please tell us if you are the author of a graph library not >already mentioned in the ocaml hump? > >Please answer privately. > > > ------------------- 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