Re: #/\ Problem in Finite Domains

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Mon 25 Sep 2000 05:32:32 PM GMT
Message-ID: <39CF8C30.90DCA35@icparc.ic.ac.uk> 
Markus Hannebauer wrote:
> 
> Version 4.2.1, Fri Aug 20 19:00 1999
> [eclipse 3]: X#=1 #/\ Y#=1.
> 
> no (more) solution.

You should upgrade to ECLiPSe 5.0 or at least get the last
patch (4.2.2) for your ECLiPSe 4.2. It was fixed there.

Regards,
-- 
 Joachim Schimpf              /             phone: +44 20 7594 8187
 IC-Parc, Imperial College   /            mailto:J.Schimpf@ic.ac.uk
 London SW7 2AZ, UK         /    http://www.icparc.ic.ac.uk/eclipse
Received on Mon Sep 25 18:32:46 2000

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:06 PM GMT GMT