diff options
Diffstat (limited to 'Solvers/Alloy-Solver')
-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" |