diff --git a/.unreleased/breaking-changes/3057-z3.md b/.unreleased/breaking-changes/3057-z3.md
new file mode 100644
index 0000000000..342ccf1029
--- /dev/null
+++ b/.unreleased/breaking-changes/3057-z3.md
@@ -0,0 +1 @@
+Upgrade Z3 to 4.13.4 (restores linux/arm64 support), see #3057