diff options
author | 2017-10-27 17:43:50 +0200 | |
---|---|---|
committer | 2017-10-27 17:43:50 +0200 | |
commit | 53a60207431153d0080104078c50f01add47df96 (patch) | |
tree | 28059b361ffeef34b8a75d3490263fd70490a58a /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra | |
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.logic2viatra')
0 files changed, 0 insertions, 0 deletions