[SMT-LIB] Multiarity XOR, IFF

Grundy, Jim D jim.d.grundy at intel.com
Wed Nov 7 16:03:13 EST 2007


> The standard *does* allow a multiarity = (with arity starting at 2).

Indeed it does, and we support it too, I was looking at the wrong thing.

Jim



More information about the SMT-LIB mailing list