Hi,
I'm trying to use FloatVar and found this bug:
FloatVar f(*this, 0, 10);
BoolVar test(*this, 0, 1);
rel(*this, f, FRT_GQ, 5, test);
rel(*this, test, IRT_EQ, 1);
With this reified constraint, the domain of f should be [5, 10] but it is
always [0, 10]
If I change FRT_GQ to FRT_EQ, it works:
FloatVar f(*this, 0, 10);
BoolVar test(*this, 0, 1);
rel(*this, f, FRT_EQ, 5, test);
rel(*this, test, IRT_EQ, 1);
Domain of f is [5,5]
Best regards,
Duong Khanh Chuong
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
