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 /Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/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 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/META-INF/MANIFEST.MF')
| -rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/META-INF/MANIFEST.MF | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/META-INF/MANIFEST.MF b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/META-INF/MANIFEST.MF index 75581def..1055dd6d 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/META-INF/MANIFEST.MF +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/META-INF/MANIFEST.MF | |||
| @@ -22,6 +22,6 @@ Require-Bundle: com.google.guava, | |||
| 22 | org.eclipse.viatra.query.runtime;bundle-version="2.0.0" | 22 | org.eclipse.viatra.query.runtime;bundle-version="2.0.0" |
| 23 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 | 23 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 |
| 24 | Bundle-ActivationPolicy: lazy | 24 | Bundle-ActivationPolicy: lazy |
| 25 | Bundle-NativeCode: libminisat.so;osname=Linux;processor=x86_64 | 25 | Bundle-NativeCode: libminisat.so;osname=Linux;processor=x86_64,* |
| 26 | Automatic-Module-Name: hu.bme.mit.inf.dlsreasoner.alloy.reasoner | 26 | Automatic-Module-Name: hu.bme.mit.inf.dlsreasoner.alloy.reasoner |
| 27 | Import-Package: org.apache.log4j;version="1.2.15" | 27 | Import-Package: org.apache.log4j;version="1.2.15" |