diff --git a/pandamonium-theorem-prover/lib/jas-2.6.5961-bin.jar b/pandamonium-theorem-prover/lib/jas-2.6.5961-bin.jar
new file mode 100644
index 0000000..1705916
Binary files /dev/null and b/pandamonium-theorem-prover/lib/jas-2.6.5961-bin.jar differ
diff --git a/pandamonium-theorem-prover/services/build.gradle b/pandamonium-theorem-prover/services/build.gradle
index 00161ec..b8e0e3f 100644
--- a/pandamonium-theorem-prover/services/build.gradle
+++ b/pandamonium-theorem-prover/services/build.gradle
@@ -13,4 +13,5 @@ repositories {
 
 dependencies {
     testCompile group: 'junit', name: 'junit', version: '4.12'
+    compile fileTree(dir: 'lib', include: '**/*.jar')
 }