Hello, I have in my model a three variables t1,t2,t3.t1 t2 are IntVar. c and d
are constant (int).i want to calculate t3 = c*t1 / d*t2 // i need to store it
variable t3t3 > threshold.So i declared t3 like FloatVar.and i posted these
constraints :rel (*this, t3, FRT_EQ, c*t1/d*t2);rel (*this, t3, FRT_GE,
threshold);
but it does't work, i tried to channel (c*t1/d*t2) to FloatVar but it didn't
work.So, have you an idea to fix it ? thank you.
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
