diff --git a/MODULE.bazel b/MODULE.bazel
index 48848d27e..c368221da 100644
--- a/MODULE.bazel
+++ b/MODULE.bazel
@@ -1,6 +1,6 @@
 module(
     name = "z3",
-    version = "4.15.4",  # TODO: Read from VERSION.txt - currently manual sync required
+    version = "4.16.0",  # TODO: Read from VERSION.txt - currently manual sync required
     bazel_compatibility = [">=7.0.0"],
 )
 
diff --git a/VERSION.txt b/VERSION.txt
index c6b0a91e5..6baf7570c 100644
--- a/VERSION.txt
+++ b/VERSION.txt
@@ -1 +1 @@
-4.15.4.0
\ No newline at end of file
+4.15.4.0
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index c45d4f7f9..5323f8bc0 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -1,8 +1,8 @@
 variables:
   # Version components read from VERSION.txt (updated manually when VERSION.txt changes)
   Major: '4'
-  Minor: '15'
-  Patch: '4'
+  Minor: '16'
+  Patch: '0'
   ReleaseVersion: $(Major).$(Minor).$(Patch)
   AssemblyVersion: $(Major).$(Minor).$(Patch).$(Build.BuildId)
   NightlyVersion: $(AssemblyVersion)-$(Build.buildId)
diff --git a/scripts/release.yml b/scripts/release.yml
index 6e4df2636..2a6cd363d 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -6,7 +6,7 @@
 trigger: none
 
 variables:
-  ReleaseVersion: '4.15.4'  # TODO: Auto-read from VERSION.txt when Azure DevOps supports it better
+  ReleaseVersion: '4.16.0'  # TODO: Auto-read from VERSION.txt when Azure DevOps supports it better
 
 stages: