[eclipse-clp-users] Labelling real variables

Does lib(ic) or its relatives provide any labelling routine capable of
instantiating real-number variables in a way that will stop bb_min from
producing the "search did not instantiate cost variable" error?  The
search/6, labeling/1, and indomain/{1,2} predicates only seem to work on
integers. I can narrow down the domains of real variables with
locate/{2,3,4}, but the only really simple way I've found to keep bb_min
happy is to do locate to my desired level of precision, then call
get_median/2 on my cost variable and set the cost equal to the median
value.

I can write my own labelling routine capable of instantiating variables to
non-integer values, but I can't be the first person to want that, so my
question is whether it's already part of some library.
-- 
Matthew Skala
Postdoctoral Fellow, University of Manitoba
mskala_at_...287...