[Scip] have binary variable represent equality of two other vars?

[George Nychis]

This might be slightly off-topic, but I don't know where better to ask.
 I'm having a hard time expressing something in ZIMPL linearly. I have two
variables a and b. I want the variable c to be strictly binary and take on
the value of 1 when a and b are equal, and 0 otherwise. Does anyone know of
a good way to express this?

Thanks!
George
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20130919/f2d09e93/attachment.html>