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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 208807F612
	for <caml-list@sympa.inria.fr>; Wed, 11 May 2016 08:37:38 +0200 (CEST)
IronPort-PHdr: 9a23:+f6eyRWITuasgIx3SJfUiKhOl23V8LGtZVwlr6E/grcLSJyIuqrYZhCEt8tkgFKBZ4jH8fUM07OQ6PCxHzVdqs/Z7jgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfTR8Kum9IIPOlcP/j7n0oM2CJVwVz2PlP/tbF1afk0b4joEum4xsK6I8mFPig0BjXKBo/15uPk+ZhB3m5829r9ZJ+iVUvO89pYYbCf2pN/dwcbsNBz0jNyUx5db3nRjFVwqGoHUGAUsMlR8dLwHb7R2ye7rXjhHX/r5x3SScIdf7ZbQ1XymyqqlxQRnjhWEALTFvozKfsdB5kK8O+EHpnBd42YOBOIw=
Authentication-Results: mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  dmentre@linux-france.org) identity=pra;
  client-ip=94.23.39.64;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="dmentre@linux-france.org";
  x-sender="dmentre@linux-france.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  dmentre@linux-france.org) identity=mailfrom;
  client-ip=94.23.39.64;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="dmentre@linux-france.org";
  x-sender="dmentre@linux-france.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@tempura.bentobako.org) identity=helo;
  client-ip=94.23.39.64;
  receiver=mail3-smtp-sop.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: A0DHDAD20TJX/0AnF15dgziETq55h1OBdoYQAoExORMBAQEBAQEBAWQngi2CFgEBBAwXDwEFOwURCQIaAgUWCwICCQMCAQIBDTgTCAEBiCsBigSdHZB4ASl8hSSETIULgjSCWQEEmCcXj1oBFYdWI4U3j0AiAT+DbYl2AQEB
X-IPAS-Result: A0DHDAD20TJX/0AnF15dgziETq55h1OBdoYQAoExORMBAQEBAQEBAWQngi2CFgEBBAwXDwEFOwURCQIaAgUWCwICCQMCAQIBDTgTCAEBiCsBigSdHZB4ASl8hSSETIULgjSCWQEEmCcXj1oBFYdWI4U3j0AiAT+DbYl2AQEB
X-IronPort-AV: E=Sophos;i="5.24,608,1454972400"; 
   d="scan'208";a="177318137"
Received: from tempura.bentobako.org ([94.23.39.64])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 11 May 2016 08:37:37 +0200
Received: from [10.226.206.98] (unknown [95.128.149.202])
	by tempura.bentobako.org (Postfix) with ESMTPSA id 605721539
	for <caml-list@inria.fr>; Wed, 11 May 2016 08:35:38 +0200 (CEST)
To: caml-list@inria.fr
References: <573205D0.3010508@linux-france.org>
 <8839045c-d17c-13bc-13e9-08d38e3449e6@etorok.net>
From: David MENTRE <dmentre@linux-france.org>
Message-ID: <5732D32F.9010604@linux-france.org>
Date: Wed, 11 May 2016 08:37:35 +0200
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:38.0) Gecko/20100101
 Thunderbird/38.7.2
MIME-Version: 1.0
In-Reply-To: <8839045c-d17c-13bc-13e9-08d38e3449e6@etorok.net>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] Simple library to manipulate automata?

Hello,

Le 10/05/2016 23:20, Török Edwin a écrit :
> There is safa/symkat on opam [1].

Yes, I also saw this library. But frankly, it seems overly complicated 
for our needs. I took a look at the API but don't understand it, and I 
don't have time to read the paper and related literature.

Sincerely yours,
david