bb_min

From: Francisco M. C. A. Azevedo <fa_at_di.fct.unl.pt>
Date: Thu 17 Jan 2002 12:40:20 PM GMT
Message-ID: <3C46C634.9D1C22C0@di.fct.unl.pt> 
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.)

Best regards,
-- 
     ____/   / |   Francisco Azevedo, fa@di.fct.unl.pt
    /       /  |      http://ssdi.di.fct.unl.pt/~fa
   __/     ___ |     Dep. Inf. - FCT / UNL, PORTUGAL
  /       /    |   Tel: +351-21-2948536/2948300/2948500
_/      _/    _|   extension 10759. Fax: +351-212948541
Received on Thu Jan 17 12:38:06 2002

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