diff options
| author |  OszkarSemerath <semerath@mit.bme.hu> | 2021-07-30 10:04:27 +0200 |
|---|---|---|
| committer | OszkarSemerath <semerath@mit.bme.hu> | 2021-07-30 10:04:27 +0200 |
| commit | aaa67b0ef8840d97b062a4f1383bf93410984af3 (patch) | |
| tree | 2c07208bb6b5ab27b47bd477dfbcc6e77b50d623 /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF | |
| parent | Config updated and createSharedVersionedMapStores service (diff) | |
| download | VIATRA-Generator-aaa67b0ef8840d97b062a4f1383bf93410984af3.tar.gz VIATRA-Generator-aaa67b0ef8840d97b062a4f1383bf93410984af3.tar.zst VIATRA-Generator-aaa67b0ef8840d97b062a4f1383bf93410984af3.zip | |
Numeric solver dreal hardcoding -> configV4transformation
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF')
| -rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF index 23fba304..d8e9608d 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF | |||
| @@ -21,7 +21,7 @@ Require-Bundle: com.google.guava, | |||
| 21 | org.eclipse.xtext, | 21 | org.eclipse.xtext, |
| 22 | org.eclipse.xtext.xbase;bundle-version="2.18.0", | 22 | org.eclipse.xtext.xbase;bundle-version="2.18.0", |
| 23 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0", | 23 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0", |
| 24 | com.microsoft.z3 | 24 | com.microsoft.z3;bundle-version="4.8.8" |
| 25 | Bundle-ActivationPolicy: lazy | 25 | Bundle-ActivationPolicy: lazy |
| 26 | Export-Package: | 26 | Export-Package: |
| 27 | hu.bme.mit.inf.dslreasoner.viatra2logic, | 27 | hu.bme.mit.inf.dslreasoner.viatra2logic, |