diff --git a/build.gradle b/build.gradle
index 318980c447e462cb072f5a12821305cf00f081ff..947e008e63af6951ffddff4ba00cc6374b793ecd 100644
--- a/build.gradle
+++ b/build.gradle
@@ -37,6 +37,7 @@ dependencies {
     sablecc 'de.hhu.stups:sablecc:3.2.10'
     compile 'de.hhu.stups:prologlib:2.4.40'
     kodkod name: 'kodkod'
+    testCompile files('libs/kodkod.jar')
     compile 'org.ow2.sat4j:org.ow2.sat4j.core:2.3.5'
     testCompile 'junit:junit:4.8.2'
  }