[gecode-users] boolean relation optimisation

[Ruben Zilibowitz]

Suppose I have a large number of boolean relations I wish to satisfy. Call them B1, B2, ..., Bn.
Which of the following is the recommended way to implement this in a Gecode Space object?

// method 1
rel(*this,B1);
rel(*this,B2);
...
rel(*this,Bn);
/////////

or,

// method 2
rel(*this, B1 && B2 && ... && Bn);
/////////

Regards,

Ruben