Z3 does not run on arm

Author: andreas-zeller

pyproject.toml

@@ -40,7 +40,7 @@ dependencies = [
     'enforce>=0.3.4',
     'graphviz>=0.14.2',
     'ipython>=7.16.1',
-    "isla-solver>=0.8.9;python_version >= '3.10'",
+    'isla-solver>=0.8.9;python_version >= "3.10"',  # ISLa wants 3.10 or newer
     'lxml>=4.5.1',
     'Markdown>=3.3.4',
     'markdown>=3.4.3',
@@ -66,8 +66,7 @@ dependencies = [
     'showast2>=0.3.1',
     'svglib>=1.1.0',
     'yapf>=0.31.0',
-    'z3-solver>=4.8.13.0',
-    "isla-solver>=0.8.2; python_version >= '3.10'",
+    'z3-solver>=4.8.13.0;platform_machine == "x86_64"', # Z3 runs on x86 only
 ]
 
 [tool.setuptools.packages.find]