diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2020-06-25 19:55:10 +0200 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-06-25 19:55:10 +0200 |
| commit | c3a6d4b9cf3657070d180aa65ddbf0459e880329 (patch) | |
| tree | 780c4fc61578dcb309af53fb0c164c7627e51676 /Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/META-INF/MANIFEST.MF | |
| parent | New configuration language parser WIP (diff) | |
| parent | Scope unsat benchmarks (diff) | |
| download | VIATRA-Generator-c3a6d4b9cf3657070d180aa65ddbf0459e880329.tar.gz VIATRA-Generator-c3a6d4b9cf3657070d180aa65ddbf0459e880329.tar.zst VIATRA-Generator-c3a6d4b9cf3657070d180aa65ddbf0459e880329.zip | |
Merge branch 'kris'
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 | 7 |
1 files changed, 4 insertions, 3 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 b944302b..75581def 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 | |||
| @@ -20,7 +20,8 @@ Require-Bundle: com.google.guava, | |||
| 20 | org.eclipse.viatra.query.runtime.base.itc;bundle-version="1.3.0", | 20 | org.eclipse.viatra.query.runtime.base.itc;bundle-version="1.3.0", |
| 21 | hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0", | 21 | hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0", |
| 22 | org.eclipse.viatra.query.runtime;bundle-version="2.0.0" | 22 | org.eclipse.viatra.query.runtime;bundle-version="2.0.0" |
| 23 | Import-Package: org.apache.log4j;version="1.2.15" | ||
| 24 | Automatic-Module-Name: hu.bme.mit.inf.dlsreasoner.alloy.reasoner | ||
| 25 | Bundle-ActivationPolicy: lazy | ||
| 26 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 | 23 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 |
| 24 | Bundle-ActivationPolicy: lazy | ||
| 25 | Bundle-NativeCode: libminisat.so;osname=Linux;processor=x86_64 | ||
| 26 | Automatic-Module-Name: hu.bme.mit.inf.dlsreasoner.alloy.reasoner | ||
| 27 | Import-Package: org.apache.log4j;version="1.2.15" | ||