From aaa67b0ef8840d97b062a4f1383bf93410984af3 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Fri, 30 Jul 2021 10:04:27 +0200 Subject: Numeric solver dreal hardcoding -> config --- Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF') 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, org.eclipse.xtext, org.eclipse.xtext.xbase;bundle-version="2.18.0", hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0", - com.microsoft.z3 + com.microsoft.z3;bundle-version="4.8.8" Bundle-ActivationPolicy: lazy Export-Package: hu.bme.mit.inf.dslreasoner.viatra2logic, -- cgit v1.2.3-70-g09d2