<div dir="ltr">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?<div>
<br></div><div>Thanks!</div><div>George</div></div>