diff options
| author |  Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-19 01:15:32 +0100 |
|---|---|---|
| committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-19 01:15:32 +0100 |
| commit | 598fa1dae639ac110b2f549e8c2978ae3974c53a (patch) | |
| tree | 69bd6b39cdbd65833ce0f4656981ab25911c3bd1 /Application | |
| parent | add some actor-related queries, solve minor Z3 issue (diff) | |
| download | VIATRA-Generator-598fa1dae639ac110b2f549e8c2978ae3974c53a.tar.gz VIATRA-Generator-598fa1dae639ac110b2f549e8c2978ae3974c53a.tar.zst VIATRA-Generator-598fa1dae639ac110b2f549e8c2978ae3974c53a.zip | |
add vsconfig flag to allow running dreal locally
Diffstat (limited to '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) { |