Add satellite case study

1 files changed, 25 insertions, 0 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig
new file mode 100644
index 00000000..2fb246c9
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/configs/generation.vsconfig
@@ -0,0 +1,25 @@
+import epackage "model/satellite.ecore"

+import viatra "src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql"

+

+generate {

+        metamodel = { package satellite }

+        constraints = { package hu.bme.mit.inf.dslreasoner.domains.satellite.queries }

+        partial-model = { "inputs/SatelliteInstance.xmi"}

+        solver = ViatraSolver

+        scope = {

+                #node += 32..64

+        }

+

+        config = {

+                runtime = 10000,

+                log-level = normal

+        }

+

+        number = 1

+        runs = 5

+

+        debug = "outputs/debug"

+        log = "outputs/log.txt"

+        output = "outputs/models"

+        statistics = "outputs/statistics.csv"

+}