diff options
author | OszkarSemerath <oszka@152.66.252.189> | 2017-06-16 01:52:22 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@152.66.252.189> | 2017-06-16 01:52:22 +0200 |
commit | ea3b5cfc3e7dc8b472cd7448f2c43477a4c33553 (patch) | |
tree | d00e8844ad43b1e1f6996306d325f14ac9d7b27c /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend | |
parent | Instruction to install alloy added (diff) | |
download | VIATRA-Generator-ea3b5cfc3e7dc8b472cd7448f2c43477a4c33553.tar.gz VIATRA-Generator-ea3b5cfc3e7dc8b472cd7448f2c43477a4c33553.tar.zst VIATRA-Generator-ea3b5cfc3e7dc8b472cd7448f2c43477a4c33553.zip |
Divers Generation times are added to statisticsexample scenario
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend')
0 files changed, 0 insertions, 0 deletions