diff options
author | 20001LastOrder <boqi.chen@mail.mcgill.ca> | 2019-06-13 15:29:33 -0400 |
---|---|---|
committer | 20001LastOrder <boqi.chen@mail.mcgill.ca> | 2019-06-13 15:29:33 -0400 |
commit | d40cfffcbb0a36140fe6b1e7d95d4254358863e7 (patch) | |
tree | f8d658ee489b2a7c87be33361a7cce2a67b640f8 /Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/.settings | |
parent | Merge branch 'master' into Realistic-Generation-SURE (diff) | |
download | VIATRA-Generator-d40cfffcbb0a36140fe6b1e7d95d4254358863e7.tar.gz VIATRA-Generator-d40cfffcbb0a36140fe6b1e7d95d4254358863e7.tar.zst VIATRA-Generator-d40cfffcbb0a36140fe6b1e7d95d4254358863e7.zip |
Hill climbing for realistic graphs with consistency feature
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/.settings')
0 files changed, 0 insertions, 0 deletions