From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA26199 for caml-redistribution; Thu, 19 Feb 1998 17:17:56 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA23440 for ; Thu, 19 Feb 1998 11:33:20 +0100 (MET) Received: from cheyenne.irisa.fr (cheyenne.irisa.fr [131.254.22.15]) by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id LAA27518 for ; Thu, 19 Feb 1998 11:33:17 +0100 (MET) Received: from irisa.fr (zapata.irisa.fr [131.254.22.6]) by cheyenne.irisa.fr (8.8.7/8.8.7) with ESMTP id LAA15507 for ; Thu, 19 Feb 1998 11:33:16 +0100 (MET) Message-ID: <34EC0A6B.217E3102@irisa.fr> Date: Thu, 19 Feb 1998 11:33:16 +0100 From: David Nowak Organization: IRISA X-Mailer: Mozilla 4.04 [en] (X11; I; SunOS 5.5 sun4m) MIME-Version: 1.0 To: caml-list Subject: Set constraints Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: weis Hello, I'm searching an O'Caml (or C) library to solve set constraints. Thank you. -- David mél : David.Nowak@irisa.fr oučbe : http://www.irisa.fr/prive/nowak/