Re: bb_min

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Thu 17 Jan 2002 01:30:18 PM GMT
Message-ID: <3C46D1EA.39FA4487@icparc.ic.ac.uk> 
"Francisco M. C. A. Azevedo" wrote:
> 
> The following goal fails in ECLiPSe 5.3 (windows2000):
> 
> C #>= 0, bb_min(C=0, C, _).
> 
> (There seems to be a problem with variable bounds, since it
> succeeds with C=1.)


Thanks Francisco,

this is already fixed in Eclipse 5.3 #44 or later, which
you could get form the /Patch directory on the ftp site,
but I attach a fixed branch_and_bound.eco for you as well.

Best wishes and a (little late) happy new year!
-- 
 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 Thu Jan 17 13:30:19 2002

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