Dear all,
Indeed, in propagators, for example the "Linear" propagator internal
calculations are done to update bounds of variables. If the maximum float
value is involved in these calculation it may leads to rounding result
behaviors defined in the IEEE floating rules. There is no way to avoid it
b
Dear all,
When using a relational constraint between two or more floating variables the bounds might not be always updated as you would expect during propagation. This happens only when being close to the maximum limits of floats. Why does this happen?
I have attached an example program
