[SMT-LIB] Multiarity XOR, IFF

[John Matthews]

Hi Aaron,

> I think it is fair to say that their
> proposal for developing propositional logic by heavily using  
> associative
> equivalence has not been widely adopted.

Indeed, and I personally have no opinion on the merits of this  
approach. I was just responding to Sava's question about whether  
anyone used the associativity of equivalence in practice.

Best,
-john