aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/hu.bme.mit.inf.dslreasoner.run/configs/ecore_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/hu.bme.mit.inf.dslreasoner.run/configs/ecore_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json')
-rw-r--r--Tests/hu.bme.mit.inf.dslreasoner.run/configs/ecore_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json7
1 files changed, 4 insertions, 3 deletions
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/configs/ecore_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/ecore_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
index 42073422..72e97957 100644
--- a/Tests/hu.bme.mit.inf.dslreasoner.run/configs/ecore_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/configs/ecore_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json
@@ -7,9 +7,10 @@
7 "iterations": 5, 7 "iterations": 5,
8 "domain": "ecore", 8 "domain": "ecore",
9 "scope": "quantiles", 9 "scope": "quantiles",
10 "sizes": [100], 10 "sizes": [50],
11 "solver": "ViatraSolver", 11 "solver": "ViatraSolver",
12 "scopePropagator": "polyhedral", 12 "scopePropagator": "polyhedral",
13 "propagatedConstraints": "relations", 13 "propagatedConstraints": "hints",
14 "polyhedronSolver": "Clp" 14 "polyhedronSolver": "Clp",
15 "scopeHeuristic": "polyhedral"
15} 16}