From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by c5ff346549e7 (Postfix) with ESMTPS id 151945D5
	for <caml-list@inbox.ocaml.org>; Sun, 26 Dec 2021 09:58:19 +0000 (UTC)
X-IronPort-AV: E=Sophos;i="5.88,236,1635199200"; 
   d="scan'208";a="12607826"
Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160])
  by mail2-relais-roc.national.inria.fr with ESMTP; 26 Dec 2021 10:58:18 +0100
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id E10C2E0120; Sun, 26 Dec 2021 10:58:18 +0100 (CET)
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 9E8CAE0120
	for <caml-list@sympa.inria.fr>; Sun, 26 Dec 2021 10:58:13 +0100 (CET)
IronPort-Data: =?us-ascii?q?A9a23=3AZISUFK6iOdB7rqk25LM2IQxRtArFchMFZxGqfqr?=
 =?us-ascii?q?LsXjdYENS0TdUymIdCz/UP6zeN2uget11aYS1/RkB6pOAmtJnTgM5pCpnJ55og?=
 =?us-ascii?q?ZqcVI7Bdi8cHAvLc5adFBo/hykmh2ipwPkcFhcwnT/wdOixxZVA/fvQHOOlUrS?=
 =?us-ascii?q?ZYnsZqTJME0/NtzoywobVvaY42bBVMyvV0T/Di5W31G2Ng1aYAUpIg063ky6Di?=
 =?us-ascii?q?dyp0N8uUvPSUtgQ1LPWvyF94JvyvshdJVOgKmVfNrbSq+ouUNiEEm3lExcFUrt?=
 =?us-ascii?q?Jk57ee0YgRbnReDCUjT8LHayliRFGzsAw+vdicqNDNAEO0WrPxYksoDlOncXYp?=
 =?us-ascii?q?QMBMLfFnu8aUgIeCyZiIaxL4pfGJ2K+uIqd1SUqdlO1m68/UR5mVWEf0qMtaY1?=
 =?us-ascii?q?UztQTITUJKxSCnP6e26O+UuAqh8I5LcCtMpl3h53K5Vk1Ft53GNWaHPiPvIUHm?=
 =?us-ascii?q?W1p24ZVAPzFIdIDbipmYFLGbgEnB7veM7pm9M/Au5U1W2QwRIqpmJcK?=
IronPort-HdrOrdr: =?us-ascii?q?A9a23=3Ah0QZuqEG3vRvUvHBpLqE98eALOsnbusQ8zAX?=
 =?us-ascii?q?PjNKOH9om6uj5qKTdZUgtSMc5wx/ZJhNo7q90cq7IE80l6QY3WB5B97LYOCMgg?=
 =?us-ascii?q?aVxe9ZhrcKjwePJxHD?=
X-IronPort-AV: E=Sophos;i="5.88,236,1635199200"; 
   d="scan'208";a="1029578"
Received: from 91-175-127-215.subs.proxad.net (HELO MacBook-Pro-5.local) ([91.175.127.215])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 26 Dec 2021 10:58:13 +0100
To: OCaML Mailing List <caml-list@inria.fr>
From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= <francois.pottier@inria.fr>
Message-ID: <4258d3db-aa76-5da4-3936-7bc809d555c0@inria.fr>
Date: Sun, 26 Dec 2021 10:58:13 +0100
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:68.0)
 Gecko/20100101 Thunderbird/68.12.1
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: fr
Content-Transfer-Encoding: 8bit
Subject: [Caml-list] [ANN] New release of Feat
Reply-To: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= <francois.pottier@inria.fr>
X-Loop: caml-list@inria.fr
X-Sequence: 18631
Errors-To: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>
List-Post: <mailto:caml-list@inria.fr>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Archive: <http://sympa.inria.fr/sympa/arc/caml-list>
Archived-At: <http://sympa.inria.fr/sympa/arcsearch_id/caml-list/2021-12/4258d3db-aa76-5da4-3936-7bc809d555c0%40inria.fr>


Dear all,

I am happy to announce a new release of Feat, a library that offers support
for counting, enumerating, and sampling objects of a certain kind, such as
(say) the inhabitants of an algebraic data type.

This new release integrates a contribution by Jonah Beckford. The library is
now split in three packages: `feat-core` is parameterized over an
implementation of big integers; `feat` instantiates `feat-core` with big
integers provided by `zarith`; `feat-num` instantiates it with big integers
provided by `num`.

   opam update
   opam install feat
   # or: opam install feat-num

More details can be found here:

   https://gitlab.inria.fr/fpottier/feat/

Enjoy,

--
François Pottier
francois.pottier@inria.fr
http://cambium.inria.fr/~fpottier/