From 68a0667e862f0714410aafbb499a95a03f5bee23 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Tue, 28 Apr 2020 00:29:00 -0400
Subject: Able to run Pledge Case Study

---
 Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/.classpath           | 1 +
 Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF | 3 ++-
 2 files changed, 3 insertions(+), 1 deletion(-)

(limited to 'Framework')

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/.classpath b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/.classpath
index 75ccaa90..ea427d90 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/.classpath
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/.classpath
@@ -5,5 +5,6 @@
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="src" path="xtend-gen"/>
+	<classpathentry kind="lib" path="C:/Applications/z3-4.8.7-x64-win/bin/com.microsoft.z3.jar"/>
 	<classpathentry kind="output" path="bin"/>
 </classpath>
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF
index 6aa9b63e..c7242106 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF
@@ -19,7 +19,8 @@ Require-Bundle: com.google.guava,
  org.eclipse.viatra.query.runtime.base.itc;bundle-version="1.5.0",
  org.eclipse.viatra.query.patternlanguage.emf;bundle-version="2.0.0",
  org.eclipse.xtext,
- org.eclipse.xtext.xbase;bundle-version="2.18.0"
+ org.eclipse.xtext.xbase;bundle-version="2.18.0",
+ hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0"
 Bundle-ActivationPolicy: lazy
 Export-Package: hu.bme.mit.inf.dslreasoner.viatra2logic,
  hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations,
-- 
cgit v1.2.3-54-g00ecf