From 764f0d54a436bd93069778a385517e74aea47150 Mon Sep 17 00:00:00 2001 From: Asger Hautop Drewsen Date: Tue, 5 Dec 2023 16:48:57 +0100 Subject: [PATCH] Overload xor operator for BoolRef (#7043) --- src/api/python/z3/z3.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index f7a99f1c2..4d92af8b9 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -1593,6 +1593,9 @@ class BoolRef(ExprRef): def __or__(self, other): return Or(self, other) + + def __xor__(self, other): + return Xor(self, other) def __invert__(self): return Not(self)