how to write a constraint for xor gate?
In reply to dave_59:
Hi Dave,
I understand that the question should have been , “How to realize a XOR kind of effect using a constraint?”
If so, then will != work as a logical XOR ?
Meaning
constraint C1{ (a==1) != (b==2)}
i.e if “a” is 1 then “b” can be anything but 2 and if “b” is 2 then “a” can be anything but 1.
Regards