diff --git a/build.gradle b/build.gradle
index bbe606cb..308fa9a1 100644
--- a/build.gradle
+++ b/build.gradle
@@ -124,7 +124,7 @@ dependencies {
     implementation 'org.ow2.sat4j:org.ow2.sat4j.core:2.3.6'
     implementation 'org.ow2.sat4j:org.ow2.sat4j.maxsat:2.3.6'
 
-    implementation 'tools.aqua:z3-turnkey:4.11.2'
+    implementation 'tools.aqua:z3-turnkey:4.14.1'
 
     testImplementation fileTree(dir: "${checkerFrameworkPath}/framework-test/build/libs", include: "framework-test-*.jar")
     // Mocking library. Used in a couple tests