<div dir="ltr">Haha, I had thought of that solution James.  It seemed a little overkill to me, but maybe it is the only good way to do this.  Let's see if someone can turn up with something better, and if all fails I'll settle for it.  Thanks for pointing it out!</div>
<div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Sep 19, 2013 at 9:21 PM, James Gunning <span dir="ltr"><<a href="mailto:James.Gunning@csiro.au" target="_blank">James.Gunning@csiro.au</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div bgcolor="#FFFFFF" text="#000000">
    George, this may be completely dopey, but if one added a slack z to
    the objective, and equations<br>
    z<=1, z>=a-b, z>= b-a, z=1-c   (or some suitable
    simplification), that might work..<br>
    <br>
    <div>George Nychis wrote:<br>
    </div>
    <blockquote type="cite"><div><div class="h5">
      
      <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>
      <br>
      <fieldset></fieldset>
      <br>
      </div></div><pre>_______________________________________________
Scip mailing list
<a href="mailto:Scip@zib.de" target="_blank">Scip@zib.de</a>
<a href="http://listserv.zib.de/mailman/listinfo/scip" target="_blank">http://listserv.zib.de/mailman/listinfo/scip</a>
</pre>
    </blockquote>
    <br>
  </div>

</blockquote></div><br></div>