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 _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
