diff options
author | OszkarSemerath <oszka@152.66.252.189> | 2017-10-27 17:43:50 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@152.66.252.189> | 2017-10-27 17:43:50 +0200 |
commit | 53a60207431153d0080104078c50f01add47df96 (patch) | |
tree | 28059b361ffeef34b8a75d3490263fd70490a58a /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner | |
parent | Added a set of mutated queries to yakindu (diff) | |
download | VIATRA-Generator-53a60207431153d0080104078c50f01add47df96.tar.gz VIATRA-Generator-53a60207431153d0080104078c50f01add47df96.tar.zst VIATRA-Generator-53a60207431153d0080104078c50f01add47df96.zip |
Diverse Solution Store runs with hash code of the representation
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner')
0 files changed, 0 insertions, 0 deletions