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 NAA17326; Wed, 3 Sep 2003 13:39:20 +0200 (MET DST) 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 NAA11925 for ; Wed, 3 Sep 2003 13:39:19 +0200 (MET DST) Received: from smtphost.cis.strath.ac.uk (smtphost.cis.strath.ac.uk [130.159.196.96]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h83BdHf19467 for ; Wed, 3 Sep 2003 13:39:17 +0200 (MET DST) Received: from tsc.uc3m.es (dhcp-173.dis.strath.ac.uk [130.159.120.173]) by ramsay.cis.strath.ac.uk (8.12.9/8.12.9) with ESMTP id h83BdC0S019889; Wed, 3 Sep 2003 12:39:12 +0100 Message-ID: <3F55D26A.7010808@tsc.uc3m.es> Date: Wed, 03 Sep 2003 12:37:14 +0100 From: "Francisco J. Valverde Albacete" User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.4b; MultiZilla v1.5.0.1) Gecko/20030624 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Arne Koewing CC: caml-list@inria.fr Subject: Re: [Caml-list] Graphmanipulation in Ocaml References: <873cfgl53m.fsf@gmx.net> In-Reply-To: <873cfgl53m.fsf@gmx.net> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-CIS-MailScanner: Found to be clean X-CIS-MailScanner-SpamCheck: not spam (whitelisted), SpamAssassin (score=-6.3, required 5, BAYES_01 -5.40, EMAIL_ATTRIBUTION -0.50, IN_REP_TO -0.37, REFERENCES -0.00, REPLY_WITH_QUOTES 0.00, USER_AGENT_MOZILLA_UA 0.00) X-Loop: caml-list@inria.fr X-Spam: no; 0.00; albacete:01 caml-list:01 arne:01 koewing:01 arne:01 pomap:01 univie:01 bitv:01 vectors:01 filliatre:01 encode:01 ocaml:01 ocaml:01 constructs:02 mottl:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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