diff --git a/.github/setup-z3.cmd b/.github/setup-z3.cmd
new file mode 100644
index 00000000000..7020d9c16e8
--- /dev/null
+++ b/.github/setup-z3.cmd
@@ -0,0 +1,12 @@
+@ECHO OFF
+
+IF NOT EXIST z3-4.8.5-x64-win.zip (
+    powershell -Command "(New-Object Net.WebClient).DownloadFile('https://github.com/Z3Prover/z3/releases/download/Z3-4.8.5/z3-4.8.5-x64-win.zip', 'z3-4.8.5-x64-win.zip')"
+)
+
+IF NOT EXIST z3_installed\bin\z3-4.8.5.exe (
+    powershell -Command "Expand-Archive -Force 'z3-4.8.5-x64-win.zip' 'z3_installed'"
+    xcopy /s /e /y z3_installed\z3-4.8.5-x64-win z3_installed\
+    copy /Y z3_installed\bin\z3.exe z3_installed\bin\z3-4.8.5.exe
+    rmdir /s /q z3_installed\z3-4.8.5-x64-win
+)
diff --git a/.gitignore b/.gitignore
index 2be00dda854..5e07c54229f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -111,3 +111,7 @@ nuget/
 # vcpkg
 /vcpkg/
 /vcpkg_installed/
+
+# setup-z3.cmd
+/z3-4.8.5-x64-win.zip
+/z3_installed