diff options
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend | 9 |
1 files changed, 8 insertions, 1 deletions
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 { | |||
143 | if (config.containsKey("numeric-solver")) { | 143 | if (config.containsKey("numeric-solver")) { |
144 | val stringValue = config.get("numeric-solver") | 144 | val stringValue = config.get("numeric-solver") |
145 | c.numericSolverSelection = switch (stringValue) { | 145 | c.numericSolverSelection = switch (stringValue) { |
146 | case "dreal": NumericSolverSelection.DREAL | 146 | case "dreal-docker": NumericSolverSelection.DREAL_DOCKER |
147 | case "dreal-local": NumericSolverSelection.DREAL_LOCAL | ||
147 | case "z3": NumericSolverSelection.Z3 | 148 | case "z3": NumericSolverSelection.Z3 |
148 | default: throw new IllegalArgumentException("Unknown numeric solver selection: " + stringValue) | 149 | default: throw new IllegalArgumentException("Unknown numeric solver selection: " + stringValue) |
149 | } | 150 | } |
150 | } | 151 | } |
152 | if (config.containsKey("dreal-local-path")) { | ||
153 | val stringValue = config.get("dreal-local-path") | ||
154 | if (!stringValue.equals("")){ | ||
155 | c.drealLocalPath = stringValue; | ||
156 | } | ||
157 | } | ||
151 | if (config.containsKey("scopePropagator")) { | 158 | if (config.containsKey("scopePropagator")) { |
152 | val stringValue = config.get("scopePropagator") | 159 | val stringValue = config.get("scopePropagator") |
153 | c.scopePropagatorStrategy = switch (stringValue) { | 160 | c.scopePropagatorStrategy = switch (stringValue) { |