diff --git a/.github/workflows/publish-docker-full-arm64.yml b/.github/workflows/publish-docker-full-arm64.yml
index 6fef662..24f424b 100644
--- a/.github/workflows/publish-docker-full-arm64.yml
+++ b/.github/workflows/publish-docker-full-arm64.yml
@@ -2,6 +2,7 @@ name: Docker Full ARM64
 on:
   release:
     types: [created]
+  workflow_dispatch:
 
 jobs:
   build:
diff --git a/.github/workflows/publish-docker-offline-arm64.yml b/.github/workflows/publish-docker-offline-arm64.yml
index 9f72716..2750fee 100644
--- a/.github/workflows/publish-docker-offline-arm64.yml
+++ b/.github/workflows/publish-docker-offline-arm64.yml
@@ -2,6 +2,7 @@ name: Docker Offline ARM64
 on:
   release:
     types: [created]
+  workflow_dispatch:
 
 jobs:
   build:
diff --git a/.github/workflows/publish-docker-proxy-arm64.yml b/.github/workflows/publish-docker-proxy-arm64.yml
index ab1e807..b803a03 100644
--- a/.github/workflows/publish-docker-proxy-arm64.yml
+++ b/.github/workflows/publish-docker-proxy-arm64.yml
@@ -2,6 +2,7 @@ name: Docker Proxy ARM64
 on:
   release:
     types: [created]
+  workflow_dispatch:
 
 jobs:
   build:
diff --git a/pyproject.toml b/pyproject.toml
index f86f18f..81a5b0f 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -20,7 +20,7 @@ dependencies = [
     "numpy",
     "networkx",
     "openai",
-    "z3-solver",
+    "z3-solver<=4.15.4.0",
     "aiohttp",
     "flask",
     "torch",
diff --git a/requirements.txt b/requirements.txt
index ceab41e..1dbace0 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -1,7 +1,7 @@
 numpy
 networkx
 openai
-z3-solver
+z3-solver<=4.15.4.0
 aiohttp
 flask
 torch
diff --git a/requirements_proxy_only.txt b/requirements_proxy_only.txt
index 5c5c87a..2d08f84 100644
--- a/requirements_proxy_only.txt
+++ b/requirements_proxy_only.txt
@@ -7,6 +7,6 @@ requests
 cerebras_cloud_sdk
 numpy
 networkx
-z3-solver
+z3-solver<=4.15.4.0
 sympy
 math_verify
\ No newline at end of file