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 pAMNGVsr004956
	for <caml-list@sympa-roc.inria.fr>; Wed, 23 Nov 2011 00:16:31 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AsgAAMYszE7RVdQ2kGdsb2JhbABEhQGlVQgiAQEBAQkJDQcUBCGBaQUdAg8dARseAxIIAQc3AiQBEQEFAVeFJoI1lSyCXAqLHEeCZoRzPYhxAgUKh0OBf4EWBIgcjCeNVz2EFA
X-IronPort-AV: E=Sophos;i="4.69,556,1315173600"; 
   d="scan'208";a="132176491"
Received: from mail-vw0-f54.google.com ([209.85.212.54])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Nov 2011 00:16:27 +0100
Received: by vbbfa15 with SMTP id fa15so1256839vbb.27
        for <caml-list@inria.fr>; Tue, 22 Nov 2011 15:16:26 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=mime-version:from:date:message-id:subject:to:content-type;
        bh=TeBol13PLsqOv/lMm2KHupYX4hQ7lNjrgYgpYS5SigE=;
        b=qsVONS7PScodruYqAjMoW+CrEY9FMJDy9OpG17xJaZkdAr2uXh6t8SJYKQSDEcTjM2
         8OMjdNMJ/7JJJ47ZAgNULSIvk5IsbARsONtsUmDbJYYKYtfTiuBlzAdQntX88VHfaPFt
         U+wrsMmyu8fbKmxF15+YEsRnYLMaPnYBeE804=
Received: by 10.182.37.8 with SMTP id u8mr6677408obj.15.1322003786611; Tue, 22
 Nov 2011 15:16:26 -0800 (PST)
MIME-Version: 1.0
Received: by 10.182.111.8 with HTTP; Tue, 22 Nov 2011 15:16:05 -0800 (PST)
From: Abdallah Saffidine <abdallah.saffidine@gmail.com>
Date: Tue, 22 Nov 2011 16:16:05 -0700
Message-ID: <CALx9x4cw7v5tX5+8Y4Q7f4EANXWCVmytB+VWTBg7hREBC+zK9g@mail.gmail.com>
To: caml-list@inria.fr
Content-Type: multipart/alternative; boundary=14dae9399d7717bbcf04b25afe14
X-Validation-by: abdallah.saffidine@gmail.com
Subject: [Caml-list] Game Theory Library


--14dae9399d7717bbcf04b25afe14
Content-Type: text/plain; charset=UTF-8

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

--14dae9399d7717bbcf04b25afe14
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

Dear list,<br><br>I am looking for a library implementing Game Theory algor=
ithms. 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 t=
ime polynomial in the size of the matrix.<br>

<br>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)<br>

<br>Thanks,<br><br>Abdallah<br>

--14dae9399d7717bbcf04b25afe14--