1 files changed, 17 insertions, 0 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/META-INF/MANIFEST.MF b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/META-INF/MANIFEST.MF
new file mode 100644
index 00000000..2eb4f151
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/META-INF/MANIFEST.MF
@@ -0,0 +1,17 @@
+Manifest-Version: 1.0

+Bundle-ManifestVersion: 2

+Bundle-Name: Reasoner

+Bundle-SymbolicName: ca.mcgill.ecse.dslreasoner.vampire.reasoner;singleton:=true

+Bundle-Version: 1.0.0.qualifier

+Automatic-Module-Name: ca.mcgill.ecse.dslreasoner.vampire.reasoner

+Bundle-RequiredExecutionEnvironment: JavaSE-1.8

+Require-Bundle: org.eclipse.xtend.lib,

+ hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0",

+ hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0",

+ ca.mcgill.ecse.dslreasoner.vampire.language;bundle-version="1.0.0",

+ org.eclipse.viatra.query.runtime;bundle-version="2.1.0",

+ org.eclipse.viatra.query.runtime.base.itc;bundle-version="2.1.0"

+Export-Package: ca.mcgill.ecse.dslreasoner.vampire.reasoner,

+ ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder

+ 

+