diff --git a/package.json b/package.json
index cb3c3ac..2581584 100644
--- a/package.json
+++ b/package.json
@@ -54,7 +54,7 @@
     "sharp": "0.35.5",
     "tesseract.js": "7.0.0",
     "three": "^0.186.1",
-    "z3-solver": "5.2.0",
+    "z3-solver": "5.3.1",
     "zod": "4.6.6"
   },
   "engines": {
diff --git a/pnpm-lock.yaml b/pnpm-lock.yaml
index c5a62ef..987e552 100644
--- a/pnpm-lock.yaml
+++ b/pnpm-lock.yaml
@@ -51,8 +51,8 @@ importers:
         specifier: ^0.186.1
         version: 0.186.1
       z3-solver:
-        specifier: 5.2.0
-        version: 5.2.0
+        specifier: 5.3.1
+        version: 5.3.1
       zod:
         specifier: 4.6.6
         version: 4.6.6
@@ -1012,8 +1012,8 @@ packages:
   whatwg-url@5.0.0:
     resolution: {integrity: sha512-saE57nupxk6v3HY35+jzBwYa0rKSy0XR8JSxZPwgLr7ys0IBzhGviA1/TUGJLmSVqs8pb9AnvICXEuOHLprYTw==}
 
-  z3-solver@5.2.0:
-    resolution: {integrity: sha512-0mGfrkwV/3zKGLy+EPWlHGORWMVZ8BsaiVYxVxuztk28YHRlD1XO0R7Op7g1nc6JX6kG2b8mHwXTuxSFnYQvww==}
+  z3-solver@5.3.1:
+    resolution: {integrity: sha512-xndynBQoXmFMopcdpCchRhT2mJyuIfmwY2lxBje0OCkDAX8WEWSCg0AXHPZwskcFIziVaA7bBQJxPTKkWy5Diw==}
     engines: {node: '>=16'}
 
   zlibjs@0.3.1:
@@ -1765,7 +1765,7 @@ snapshots:
       tr46: 0.0.3
       webidl-conversions: 3.0.1
 
-  z3-solver@5.2.0:
+  z3-solver@5.3.1:
     dependencies:
       async-mutex: 0.3.2