Can you provide an example for using BoolExprs in C++? Do they correspond to BExprs in Gecode/J? I want to construct long expressions as: ((A0 == B0) & (A1 == B1) & ... & (An == Bn)) --> ((B0 == C0) & (B1 == C1) & ... & (Bn == Cn)) Malcolm