"Christian Schulte" <[EMAIL PROTECTED]> writes: > And the most straightforward one, would be: > rel(this, X, IRT_EQ, k, b)
Thanks for all these enlightening ways of getting the job done :-) Still, I am curious: is there a technical reason why overloadings have not been provided to allow me to say simply: post(this, (X==k)==b )? Cheers, --Denys _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users