This Isabelle component provides old z3 4.4.0 pre-release (revision 0482e7fe727c),
as required for Isabelle/HOL proof reconstruction in the "smt" proof method.

For Windows, the executable was a download z3-4.4.0.0482e7fe727c-x86-win.zip
from the former website http://z3.codeplex.com/releases (16-May-2018).

For Linux and macOS, the binaries have been built from sources
https://github.com/Z3Prover/z3/archive/0482e7fe727c75e259ac55a932b28cf1842c530e.tar.gz
with the following patch (without "-msse -msse2" on ARM64):

diff -Nru z3-orig/scripts/mk_util.py z3/scripts/mk_util.py
--- z3-orig/scripts/mk_util.py  2015-03-25 19:46:28.000000000 +0100
+++ z3/scripts/mk_util.py       2026-09-28 15:02:43.849271508 +0200
@@ -1784,7 +1784,7 @@
         if GIT_HASH:
             CPPFLAGS = '%s -DZ3GITHASH=%s' % (CPPFLAGS, GIT_HASH)
         CXXFLAGS = '%s -fvisibility=hidden -c' % CXXFLAGS
-        HAS_OMP = test_openmp(CXX)
+        HAS_OMP = False
         if HAS_OMP:
             CXXFLAGS = '%s -fopenmp -mfpmath=sse' % CXXFLAGS
             LDFLAGS  = '%s -fopenmp' % LDFLAGS
@@ -1839,7 +1839,7 @@
             CPPFLAGS     = '%s -DZ3DEBUG' % CPPFLAGS
         if TRACE or DEBUG_MODE:
             CPPFLAGS     = '%s -D_TRACE' % CPPFLAGS
-        CXXFLAGS         = '%s -msse -msse2' % CXXFLAGS
+        CXXFLAGS         = '%s -msse -msse2 -std=c++03' % CXXFLAGS
         config.write('PREFIX=%s\n' % PREFIX)
         config.write('CC=%s\n' % CC)
         config.write('CXX=%s\n' % CXX)

using the build command-line: env CC=clang CXX=clang++ python2 scripts/mk_make.py && make -C build


        Makarius
        28-Sep-2026
