[gecode-users] posting a reified equality constraint

[Denys Duchier]

I am stumped on something that is completely trivial.  How do I "post"
the reified constraint (X=k)=B where X is an IntVar, k is an int and B
is a BoolVar?

Cheers,

--Denys