[SMT-LIB] Multiarity XOR, IFF

John Matthews matthews at galois.com
Thu Nov 8 12:05:56 EST 2007


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





More information about the SMT-LIB mailing list