From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pAMNrEZN006160 for ; Wed, 23 Nov 2011 00:53:14 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar4BACA1zE5KfVI0imdsb2JhbABEmwiPSggiAQEBCgkNBxIGIYFyAQEBAwESAiwBGx0BAwELBgUEAQY7IQEBEQEFARwGEyKHYwiXcwqLY4JmhHU9iHECBQqKWASIHIwnilSDAj2EEg X-IronPort-AV: E=Sophos;i="4.69,556,1315173600"; d="scan'208";a="132178900" Received: from mail-ww0-f52.google.com ([74.125.82.52]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-MD5; 23 Nov 2011 00:53:09 +0100 Received: by wwf5 with SMTP id 5so1500607wwf.9 for ; Tue, 22 Nov 2011 15:53:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=SnA23Z3y8q4bXL9F9LsTJVYnlU1cFTyttVrqsDv0GA0=; b=wbhazpMonDgNjhY5AU3Rr7az4Eulcx1CeZ7yvgyCgDz5Al8KqzIicJVqWXAWwpgC0t gSEQiWIFHHmI9ek9bnsoIo3DQHi9tDp/vbZoM/H4+8aKCva9ePQfaDQUQOMQszynQNPp 0XKep6GJTWn8ttvW58MyGaJ8KEpERBpIm+eI4= Received: by 10.227.203.131 with SMTP id fi3mr6542567wbb.17.1322005988064; Tue, 22 Nov 2011 15:53:08 -0800 (PST) MIME-Version: 1.0 Received: by 10.216.26.202 with HTTP; Tue, 22 Nov 2011 15:52:47 -0800 (PST) In-Reply-To: References: From: Ashish Agarwal Date: Tue, 22 Nov 2011 18:52:47 -0500 Message-ID: To: Abdallah Saffidine Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=0015174737444f3e1d04b25b816f Subject: Re: [Caml-list] Game Theory Library --0015174737444f3e1d04b25b816f Content-Type: text/plain; charset=ISO-8859-1 We did not write any bindings directly to linear programming libraries, but do have an AST and an embedded DSL for writing LPs in OCaml along with some code generation to output in AMPL format. Paper and code are available here: http://ashishagarwal.org/2010/01/18/automating-mp-transformations/ On Tue, Nov 22, 2011 at 6:16 PM, Abdallah Saffidine < abdallah.saffidine@gmail.com> wrote: > Dear list, > > I am looking for a library implementing Game Theory algorithms. I am > specifically interested in solving zero-sum twpo-player normal form games > (that is, finding the value of Nash equilibria in matrix games). In this > setting, we can use linear programming to find the strategies in time > polynomial in the size of the matrix. > > Have you seeing any ocaml library for game theory? or if I need to > implement it myself, which linear programming library would you recommend? > (If there is any other than ocaml-gplk which comes first in google, that is) > > Thanks, > > Abdallah > --0015174737444f3e1d04b25b816f Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable We did not write any bindings directly to linear programming libraries, but= do have an AST and an embedded DSL for writing LPs in OCaml along with som= e code generation to output in AMPL format. Paper and code are available he= re:
http://ashishagarwal.org/2010/01/18/automating-mp-transformations/<= br>
On Tue, Nov 22, 2011 at 6:16 PM, Abdallah= Saffidine <abdallah.saffidine@gmail.com> wrote:
Dear list,

I am looking for a librar= y implementing Game Theory algorithms. I am specifically interested in solv= ing zero-sum twpo-player normal form games (that is, finding the value of N= ash equilibria in matrix games). In this setting, we can use linear program= ming to find the strategies in time polynomial in the size of the matrix.
Have you seeing any ocaml library for game theory? or if I need to impl= ement it myself, which linear programming library would you recommend? (If = there is any other than ocaml-gplk which comes first in google, that is)

Thanks,

Abdallah

--0015174737444f3e1d04b25b816f--