[gecode-users] error_segmentation

[mehdi m]

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  
 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20140120/1e428776/attachment.html>