From 598fa1dae639ac110b2f549e8c2978ae3974c53a Mon Sep 17 00:00:00 2001 From: Aren Babikian Date: Tue, 19 Jan 2021 01:15:32 +0100 Subject: add vsconfig flag to allow running dreal locally --- .../mit/inf/dslreasoner/application/execution/SolverLoader.xtend | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'Application/hu.bme.mit.inf.dslreasoner.application') diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend index bb21f8ee..94b84bc3 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend @@ -143,11 +143,18 @@ class SolverLoader { if (config.containsKey("numeric-solver")) { val stringValue = config.get("numeric-solver") c.numericSolverSelection = switch (stringValue) { - case "dreal": NumericSolverSelection.DREAL + case "dreal-docker": NumericSolverSelection.DREAL_DOCKER + case "dreal-local": NumericSolverSelection.DREAL_LOCAL case "z3": NumericSolverSelection.Z3 default: throw new IllegalArgumentException("Unknown numeric solver selection: " + stringValue) } } + if (config.containsKey("dreal-local-path")) { + val stringValue = config.get("dreal-local-path") + if (!stringValue.equals("")){ + c.drealLocalPath = stringValue; + } + } if (config.containsKey("scopePropagator")) { val stringValue = config.get("scopePropagator") c.scopePropagatorStrategy = switch (stringValue) { -- cgit v1.2.3-70-g09d2