From 7c75f3af16e6c5bdb1151c6fa5f275b32a4cfccd Mon Sep 17 00:00:00 2001 From: Asger Hautop Drewsen Date: Tue, 5 Dec 2023 15:12:40 +0100 Subject: [PATCH] Overload xor operator for BoolRef --- 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 f7a99f1c28f..4d92af8b92c 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -1593,6 +1593,9 @@ def __and__(self, other): def __or__(self, other): return Or(self, other) + + def __xor__(self, other): + return Xor(self, other) def __invert__(self): return Not(self)