From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <dmentre@linux-france.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id B7BD87F612
	for <caml-list@sympa.inria.fr>; Tue, 10 May 2016 18:01:21 +0200 (CEST)
IronPort-PHdr: 9a23:GzlrcRA2zNNtRKSFEI1yUyQJP3N1i/DPJgcQr6AfoPdwSP78r8bcNUDSrc9gkEXOFd2CrakU2qyP7+uwCSQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTmkbnusM2DKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FpwecbDv6/J/hwDeEATWduD2dgrsbisB2GSQqU+lMdVH8Xm1xGGUKNuBrzW5O0tirhqsJ83jObNIv4V+Zndy6l6vJHQQHphG8iGhgFykyf3sB1gaRHuh+Jox153p6RbpucMvFzOKTHcoVJFiJ6Qs9NWnkZUcuHZIwVAr9cZes=
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dmentre@linux-france.org; spf=None smtp.mailfrom=dmentre@linux-france.org; spf=None smtp.helo=postmaster@tempura.bentobako.org
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  dmentre@linux-france.org) identity=pra;
  client-ip=94.23.39.64;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="dmentre@linux-france.org";
  x-sender="dmentre@linux-france.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  dmentre@linux-france.org) identity=mailfrom;
  client-ip=94.23.39.64;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="dmentre@linux-france.org";
  x-sender="dmentre@linux-france.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@tempura.bentobako.org) identity=helo;
  client-ip=94.23.39.64;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="dmentre@linux-france.org";
  x-sender="postmaster@tempura.bentobako.org";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0AlEAA8BTJX/0AnF15dFoMiVbozAQGCAB6FaIFAPQ8BAQEBAQEBAWQcC4Itgj4VQDYCBRYLAgsDAgECAQ0+DQgBAYgrAQmXZI9ikRt8hSSMC4JZAQSYJxeBGIRPiXMBY4cIhVqPQDgBAQEngTYBC4IriXYBAQE
X-IPAS-Result: A0AlEAA8BTJX/0AnF15dFoMiVbozAQGCAB6FaIFAPQ8BAQEBAQEBAWQcC4Itgj4VQDYCBRYLAgsDAgECAQ0+DQgBAYgrAQmXZI9ikRt8hSSMC4JZAQSYJxeBGIRPiXMBY4cIhVqPQDgBAQEngTYBC4IriXYBAQE
X-IronPort-AV: E=Sophos;i="5.24,604,1454972400"; 
   d="scan'208";a="217612849"
Received: from tempura.bentobako.org ([94.23.39.64])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 10 May 2016 18:01:21 +0200
Received: from [10.226.206.98] (unknown [95.128.149.202])
	by tempura.bentobako.org (Postfix) with ESMTPSA id 5F5833B7E
	for <caml-list@inria.fr>; Tue, 10 May 2016 17:58:56 +0200 (CEST)
From: David MENTRE <dmentre@linux-france.org>
To: "caml-list@inria.fr" <caml-list@inria.fr>
Message-ID: <573205D0.3010508@linux-france.org>
Date: Tue, 10 May 2016 18:01:20 +0200
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:38.0) Gecko/20100101
 Thunderbird/38.7.2
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: [Caml-list] Simple library to manipulate automata?

Hello,

I would like to manipulate some basic automata in OCaml: creation, 
execution, minimization, display, etc.

Before re-inventing the wheel, do you know a library doing that?

 From my own searches, I only found "automatx" 
(http://pauillac.inria.fr/~quercia/) which seems to suit my needs but 
(1) has a French API and (2) has no license information.

Best regards,
david