Hello everyone,in my model, i want to express : x <--> Sum Ai*Bi = 0.why i use
linear constraint and reification such as :
IntArgs A ;BoolVarArray B;BoolVar b;reify r (b);linear (*this, A , B , IRT_EQ ,
0 , r);
when running this gives me a segmentation fault. when I deleted the parameter r
that passes, the problem might therefore be in the parameter r.
if someone has an idea ! .thank you.Cheers,Mehdi
_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
