From ssardina@cs.toronto.edu Thu Jun  7 22:29:12 2001
Received: from yonge.cs.toronto.edu (root@yonge.cs.toronto.edu [128.100.1.8])
	by swi.psy.uva.nl (8.11.2/8.11.2) with SMTP id f57KTB317889
	for <prolog@swi.psy.uva.nl>; Thu, 7 Jun 2001 22:29:12 +0200 (MET DST)
Received: from jane.cs.toronto.edu ([128.100.2.31]) by yonge.cs.toronto.edu with SMTP id <33968-24173>; Thu, 7 Jun 2001 16:29:06 -0400
Received: from qew.cs.toronto.edu by jane.cs.toronto.edu id <453138-570>; Thu, 7 Jun 2001 16:28:59 -0400
Date: 	Thu, 7 Jun 2001 16:28:51 -0400
From: Sebastian Sardina <ssardina@cs.toronto.edu>
X-Sender: ssardina@qew.cs
To: prolog@swi.psy.uva.nl
Message-ID: <Pine.GSO.4.21.0106071618540.20233-100000@qew.cs>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Subject: [SWIPL] constraint library?

I have asked this question before. 
Either it was too stupid (most probably) or nobody saw my
message.  Anyway, I re-post it:

Does SWI have any constraint library or module? 

Thanks  

Sebastian

