From fd3684b5440dacca0c4bf4be15930555a79e2100 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Tue, 21 May 2019 17:00:01 -0400 Subject: VIATRA DSE and COIN-OR CBC implementations of CPS case study --- .../hu.bme.mit.inf.dslreasoner.domains.cps/META-INF/MANIFEST.MF | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/META-INF/MANIFEST.MF') diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/META-INF/MANIFEST.MF b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/META-INF/MANIFEST.MF index 76e1eefb..c06b7112 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/META-INF/MANIFEST.MF +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/META-INF/MANIFEST.MF @@ -18,7 +18,12 @@ Require-Bundle: org.eclipse.viatra.addon.querybasedfeatures.runtime, org.eclipse.emf.ecore;visibility:=reexport, org.eclipse.core.runtime, org.eclipse.xtend.lib;bundle-version="2.16.0", - org.eclipse.xtend.lib.macro;bundle-version="2.16.0" + org.eclipse.xtend.lib.macro;bundle-version="2.16.0", + hu.bme.mit.inf.dslreasoner.application;bundle-version="1.0.0", + org.eclipse.viatra.dse;bundle-version="0.22.0", + org.eclipse.viatra.dse.genetic;bundle-version="0.22.0", + hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner;bundle-version="1.0.0", + org.eclipse.emf.ecore.xmi;bundle-version="2.15.0" Import-Package: org.apache.log4j Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.domains.cps Bundle-ActivationPolicy: lazy -- cgit v1.2.3-70-g09d2