[gecode-users] Linear constraint for boolean variables

[Christian Schulte]

Actually, doing it should be very easy. You just define views similar to
scale-views that take floats as coefficients rather than integers. Then you
instantiate the already available propagators for linear equations with
these views and voila!

Christian

-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Stefano Gualandi
Sent: Wednesday, June 28, 2006 10:06 PM
To: Guido Tack
Cc: users at gecode.org
Subject: Re: [gecode-users] Linear constraint for boolean variables


Hi Guido,

> No plan, currently. Do you have a concrete application for it?

Yes, I have two concrete applications I am working on for my phd. Moreover,
I need it since I would like to "generalize" the CP-based  
column generation we are working on.

> Or maybe do you
> even intend to implement it yourself?

Yes, I would like to, but likely it will take longer :-)
I will give it a try as soon as I can.

> On the other hand, if all the floats are constant anyway, do you
> think it
> would be very inefficient to scale the equation such that the  
> coefficients
> are integer?

It is exactly what I am doing up to now, but I would like to have  
something more elegant.

thanks,
Stefano

_______________________________________________
Gecode users mailing list
users at gecode.org https://www.gecode.org/mailman/listinfo/gecode-users