diff options
author | 2020-11-02 02:02:40 +0100 | |
---|---|---|
committer | 2020-11-02 02:02:40 +0100 | |
commit | f06427cd7375551582461f91b3458339a8227f9b (patch) | |
tree | 97bc6ec85f4c384e5080a6611b492caf460b6ce9 /Domains/ca.mcgill.rtgmrt.example.modes3/META-INF/MANIFEST.MF | |
parent | Must unit propagation (diff) | |
download | VIATRA-Generator-f06427cd7375551582461f91b3458339a8227f9b.tar.gz VIATRA-Generator-f06427cd7375551582461f91b3458339a8227f9b.tar.zst VIATRA-Generator-f06427cd7375551582461f91b3458339a8227f9b.zip |
Optimizing generator with linear objective functions
Diffstat (limited to 'Domains/ca.mcgill.rtgmrt.example.modes3/META-INF/MANIFEST.MF')
-rw-r--r-- | Domains/ca.mcgill.rtgmrt.example.modes3/META-INF/MANIFEST.MF | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/META-INF/MANIFEST.MF b/Domains/ca.mcgill.rtgmrt.example.modes3/META-INF/MANIFEST.MF index 96bd2113..8f900199 100644 --- a/Domains/ca.mcgill.rtgmrt.example.modes3/META-INF/MANIFEST.MF +++ b/Domains/ca.mcgill.rtgmrt.example.modes3/META-INF/MANIFEST.MF | |||
@@ -28,7 +28,8 @@ Require-Bundle: org.eclipse.viatra.query.runtime, | |||
28 | hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0", | 28 | hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0", |
29 | org.eclipse.emf.ecore.xmi;bundle-version="2.16.0", | 29 | org.eclipse.emf.ecore.xmi;bundle-version="2.16.0", |
30 | hu.bme.mit.inf.dslreasoner.visualisation;bundle-version="1.0.0", | 30 | hu.bme.mit.inf.dslreasoner.visualisation;bundle-version="1.0.0", |
31 | org.eclipse.viatra.query.patternlanguage.emf;bundle-version="2.4.0" | 31 | org.eclipse.viatra.query.patternlanguage.emf;bundle-version="2.4.0", |
32 | org.eclipse.viatra.dse;bundle-version="0.24.0" | ||
32 | Import-Package: org.apache.log4j | 33 | Import-Package: org.apache.log4j |
33 | Automatic-Module-Name: ca.mcgill.rtgmrt.example.modes3 | 34 | Automatic-Module-Name: ca.mcgill.rtgmrt.example.modes3 |
34 | Bundle-ActivationPolicy: lazy | 35 | Bundle-ActivationPolicy: lazy |