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