Bug#1020802: libz3-4: Xorg crashes on startup due to illegal instruction (SSE2) in libz3-4

[karogyoker999]

Hello,

My MR [1] using SIMDEverywhere has been merged into z3.
It is going to solve the SSE2 issue on i386 on CPUs
like Athlon XP and Pentium Pro or anything before
Pentium 4.

[1]: https://salsa.debian.org/pkg-llvm-team/z3/-/merge_requests/9