diff --git a/build.gradle b/build.gradle
index a37f64e1..2ccada41 100644
--- a/build.gradle
+++ b/build.gradle
@@ -81,7 +81,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.8.17'
+    implementation 'tools.aqua:z3-turnkey:4.11.2'
 
     testImplementation fileTree(dir: "${checkerFrameworkPath}/framework-test/build/libs", include: "framework-test-*.jar")
     // Mocking library. Used in a couple tests