[gecode-users] Linear constraint for boolean variables

[Stefano Gualandi]

Hi,
is there any plan to have in Gecode a linear propagator with boolean  
variables and "float" coefficient as:

void
Gecode::linear (Space *home, const FloatArgs &a, const BoolVarArgs  
&x, IntRelType r, float c, BoolVar b, IntConLevel=ICL_BND)
                                                         
---------------------                    
------------------                                
---------                                             --------------

thanks in advance,
Stefano