diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2020-11-02 02:02:40 +0100 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-11-02 02:02:40 +0100 |
| commit | f06427cd7375551582461f91b3458339a8227f9b (patch) | |
| tree | 97bc6ec85f4c384e5080a6611b492caf460b6ce9 /Domains/ca.mcgill.rtgmrt.example.modes3/META-INF | |
| 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')
| -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 |