caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Ashish Agarwal <agarwal1975@gmail.com>
To: Abdallah Saffidine <abdallah.saffidine@gmail.com>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Game Theory Library
Date: Tue, 22 Nov 2011 18:52:47 -0500	[thread overview]
Message-ID: <CAMu2m2KMMs8-xixs9ZLu=G-scvR0TMQ+iKVueKYq+tFrksBfgQ@mail.gmail.com> (raw)
In-Reply-To: <CALx9x4cw7v5tX5+8Y4Q7f4EANXWCVmytB+VWTBg7hREBC+zK9g@mail.gmail.com>

[-- Attachment #1: Type: text/plain, Size: 992 bytes --]

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
>

[-- Attachment #2: Type: text/html, Size: 1347 bytes --]

      reply	other threads:[~2011-11-22 23:53 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-11-22 23:16 Abdallah Saffidine
2011-11-22 23:52 ` Ashish Agarwal [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CAMu2m2KMMs8-xixs9ZLu=G-scvR0TMQ+iKVueKYq+tFrksBfgQ@mail.gmail.com' \
    --to=agarwal1975@gmail.com \
    --cc=abdallah.saffidine@gmail.com \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).