add link to local kodkod.jar

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'
  }