Z3 (currently?) does not run on linux/arm64

andreas-zeller · andreas-zeller · commit d5ead7aada2b · 2025-04-13T15:21:33.000+02:00
diff --git a/pyproject.toml b/pyproject.toml
@@ -66,7 +66,8 @@ dependencies = [
     'showast2>=0.3.1',
     'svglib>=1.1.0',
     'yapf>=0.31.0',
-    'z3-solver>=4.8.13.0;platform_machine == "x86_64"', # Z3 runs on x86 only
+     # Z3 does not run on linux/arm64
+    'z3-solver>=4.8.13.0;sys_platform != "linux" or platform_machine != "aarch64"',
 ]
 
 [tool.setuptools.packages.find]

Original file line number	Diff line number	Diff line change
`@@ -66,7 +66,8 @@ dependencies = [`
`66`	`66`	`'showast2>=0.3.1',`
`67`	`67`	`'svglib>=1.1.0',`
`68`	`68`	`'yapf>=0.31.0',`
`69`		`- 'z3-solver>=4.8.13.0;platform_machine == "x86_64"', # Z3 runs on x86 only`
	`69`	`+ # Z3 does not run on linux/arm64`
	`70`	`+ 'z3-solver>=4.8.13.0;sys_platform != "linux" or platform_machine != "aarch64"',`
`70`	`71`	`]`
`71`	`72`
`72`	`73`	`[tool.setuptools.packages.find]`