Merge pull request #298 from algorithmicsuperintelligence/fix-z3-solver-arm64-build

codelion · web-flow · commit 3ccfab6e2339 · 2026-03-19T10:43:58.000+08:00
Fix z3 solver arm64 build
diff --git 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
@@ -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
@@ -2,6 +2,7 @@ name: Docker Proxy ARM64
 on:
   release:
     types: [created]
+  workflow_dispatch:
 
 jobs:
   build:
diff --git 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
@@ -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
@@ -7,6 +7,6 @@ requests
 cerebras_cloud_sdk
 numpy
 networkx
-z3-solver
+z3-solver<=4.15.4.0
 sympy
 math_verify
