From 945f487a08b643392a5d5918c631640b9a0e4605 Mon Sep 17 00:00:00 2001
From: 20001LastOrder <boqi.chen@mail.mcgill.ca>
Date: Tue, 3 Nov 2020 22:52:26 -0500
Subject: add realistic solver

---
 Domains/github-graph/META-INF/MANIFEST.MF | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 Domains/github-graph/META-INF/MANIFEST.MF

(limited to 'Domains/github-graph/META-INF')

diff --git a/Domains/github-graph/META-INF/MANIFEST.MF b/Domains/github-graph/META-INF/MANIFEST.MF
new file mode 100644
index 00000000..48c16d69
--- /dev/null
+++ b/Domains/github-graph/META-INF/MANIFEST.MF
@@ -0,0 +1,25 @@
+Manifest-Version: 1.0
+Bundle-ManifestVersion: 2
+Bundle-Name: %pluginName
+Bundle-SymbolicName: github-graph;singleton:=true
+Bundle-Version: 0.1.0.qualifier
+Bundle-ClassPath: .
+Bundle-Vendor: %providerName
+Bundle-Localization: plugin
+Export-Package: github,
+ github.impl,
+ github.util,
+ queries
+Require-Bundle: org.eclipse.viatra.query.runtime.rete,
+ org.eclipse.viatra.query.runtime.localsearch,
+ org.eclipse.core.runtime,
+ org.eclipse.emf.ecore;visibility:=reexport,
+ com.google.guava,
+ org.eclipse.xtext.xbase.lib,
+ org.eclipse.xtend.lib,
+ org.eclipse.xtend.lib.macro,
+ org.eclipse.viatra.query.runtime;bundle-version="2.1.2"
+Import-Package: org.apache.log4j
+Automatic-Module-Name: github-graph
+Bundle-ActivationPolicy: lazy
+Bundle-RequiredExecutionEnvironment: JavaSE-1.8
-- 
cgit v1.2.3-54-g00ecf