From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Jean-Christophe.Filliatre@lri.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id 2E0117ED34
	for <caml-list@sympa.inria.fr>; Thu,  5 Jul 2012 10:36:48 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  Jean-Christophe.Filliatre@lri.fr) identity=pra;
  client-ip=129.175.33.42;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="Jean-Christophe.Filliatre@lri.fr";
  x-sender="Jean-Christophe.Filliatre@lri.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  Jean-Christophe.Filliatre@lri.fr) identity=mailfrom;
  client-ip=129.175.33.42;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="Jean-Christophe.Filliatre@lri.fr";
  x-sender="Jean-Christophe.Filliatre@lri.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp2.u-psud.fr) identity=helo;
  client-ip=129.175.33.42;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="Jean-Christophe.Filliatre@lri.fr";
  x-sender="postmaster@smtp2.u-psud.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ak4GACJR9U+BryEqe2dsb2JhbABFFrcOIgEBCwsKCBQFIoIaNwEFQAE8FhgDAgECAUsNAQcBAReHcAu6DJF3A5sNjQ4
X-IronPort-AV: E=Sophos;i="4.77,528,1336341600"; 
   d="scan'208";a="149700015"
Received: from smtp2.u-psud.fr ([129.175.33.42])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 05 Jul 2012 10:36:47 +0200
Received: from smtp2.u-psud.fr (localhost [127.0.0.1])
	by localhost (MTA) with SMTP id 778293490D6;
	Thu,  5 Jul 2012 10:36:47 +0200 (CEST)
Received: from ext.lri.fr (ext.lri.fr [129.175.15.4])
	by smtp2.u-psud.fr (MTA) with ESMTP id 5EFD43490D1;
	Thu,  5 Jul 2012 10:36:47 +0200 (CEST)
Received: from localhost (localhost [127.0.0.1])
	by ext.lri.fr (Postfix) with ESMTP id 59C3D409BE;
	Thu,  5 Jul 2012 10:36:47 +0200 (CEST)
X-Virus-Scanned: Debian amavisd-new at lri.fr
Received: from ext.lri.fr ([127.0.0.1])
	by localhost (ext.lri.fr [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id 8aNiqKYAxdnE; Thu,  5 Jul 2012 10:36:47 +0200 (CEST)
Received: from [129.175.29.68] (lri29-68 [129.175.29.68])
	(using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits))
	(No client certificate requested)
	by ext.lri.fr (Postfix) with ESMTPSA id 3774240887;
	Thu,  5 Jul 2012 10:36:47 +0200 (CEST)
Message-ID: <4FF5526A.4030802@lri.fr>
Date: Thu, 05 Jul 2012 10:38:02 +0200
From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr>
User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.26) Gecko/20120131 Thunderbird/3.1.18
MIME-Version: 1.0
To: Caml List <caml-list@inria.fr>
CC: caml-announce@inria.fr, =?ISO-8859-1?Q?R=E9my_El_Sibaie?=
 <remy.el-sibaie@u-psud.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
Subject: [Caml-list] announce: ReML, a library for combinatorics

Dear users,

This is our pleasure to announce the first release of ReML, an OCaml 
library for combinatorics.

This library provides the following modules:
- Dlx: Knuth's dancing links
- Zdd: Zero-suppressed binary decision diagrams
- Emc: a common interface to modules Dlx and Zdd to solve the Exact 
Matrix Cover problem
- Tiling: converts a 2D tiling problem into an EMC problem

Documentation: http://www.lri.fr/~filliatr/reml/doc/index.html


ReML also contains an interpreter for a language to describe 2D tiling 
problems (such as Pentominos) and to solve them or to enumerate their 
solutions. The source tarball contains some examples.

Web page: http://www.lri.fr/~filliatr/reml/


Enjoy!
-- 
Rémy & Jean-Christophe