[gecode-users] posting a reified equality constraint

[Denys Duchier]

"Christian Schulte" <cschulte at kth.se> 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