mindomain

Dear all,

The mindomain(Var, Min) predicate in the fd library, sets a variable Min 
to the minimum value in the domain of Var. Is there an equivalent for the 
ic library, as I can't find one in the documentation.

I have tried using get_ic_bounds(Var, Lo, Hi), but it returns a number in 
floating point format, whereas I need an integer!

Karen