From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 6FAC0BB81 for ; Wed, 5 Jan 2005 02:00:39 +0100 (CET) Received: from mail.intellij.net (mail.intellij.net [213.182.181.98]) by concorde.inria.fr (8.13.0/8.13.0) with SMTP id j0510coG020563 for ; Wed, 5 Jan 2005 02:00:39 +0100 Received: (qmail 13838 invoked by uid 89); 5 Jan 2005 01:00:38 -0000 Received: from unknown (HELO tepkom.ru) (db@intellij.net@195.190.98.150) by mail.intellij.net with SMTP; 5 Jan 2005 01:00:36 -0000 Message-ID: <41DB3C39.8060805@tepkom.ru> Date: Wed, 05 Jan 2005 04:00:41 +0300 From: Dmitri Boulytchev User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.7b) Gecko/20040421 X-Accept-Language: en-us, en MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: Binate Covering Library: is any? Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Bogosity: No, tests=bogofilter, spamicity=0.004091, version=0.15.12 X-Miltered: at concorde with ID 41DB3C36.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml:02 objective:02 tepkom:02 library:03 library:03 problem:05 university:08 solve:10 exist:11 does:14 everybody:16 hello:17 regards:19 petersburg:79 petersburg:79 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.0 X-Spam-Level: Hello everybody, does it exist an Objective Caml library to solve Binate Covering problem? Best regards, Dmitri Boulytchev, St.Petersburg State University, St.Petersburg, Russia