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

_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users

Reply via email to