Dear Maintainer, in the meantime there got a merge request [1] accepted to libz3-4, which might solve this issue by avoiding sse2 instructions, and is still awaiting an upload to unstable.
[1] https://salsa.debian.org/pkg-llvm-team/z3/-/merge_requests/9 Kind regards, Bernhard
