diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 20d0f62..81f8078 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -28,7 +28,7 @@ jobs:
           distribution: 'temurin'
       - name: Download Z3 native libraries
         run: |
-          Z3_VERSION=4.15.4
+          Z3_VERSION=4.16.0
           BASE_URL="https://repo.maven.apache.org/maven2/org/sosy-lab/javasmt-solver-z3/${Z3_VERSION}"
           mkdir -p native
           curl -sL "${BASE_URL}/javasmt-solver-z3-${Z3_VERSION}-libz3-x64.so" -o native/libz3.so
diff --git a/java/libfindchars-compiler/pom.xml b/java/libfindchars-compiler/pom.xml
index 983e965..36142cb 100644
--- a/java/libfindchars-compiler/pom.xml
+++ b/java/libfindchars-compiler/pom.xml
@@ -41,7 +41,7 @@
 	<dependency>
 	    <groupId>org.sosy-lab</groupId>
 	    <artifactId>javasmt-solver-z3</artifactId>
-	    <version>4.15.4</version>
+	    <version>4.16.0</version>
 	</dependency>
   </dependencies>
 </project>
\ No newline at end of file