diff options
author | OszkarSemerath <oszka@152.66.252.189> | 2017-08-28 23:48:51 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@152.66.252.189> | 2017-08-28 23:48:51 +0200 |
commit | 16903e592dc63501935b174e4aabbf9957186974 (patch) | |
tree | a35a7bbbdce7c38c81ee7f9ecd3b39830d0f4144 /Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src | |
parent | Simple visualiser that prints the size of the intermediate solution. (diff) | |
download | VIATRA-Generator-16903e592dc63501935b174e4aabbf9957186974.tar.gz VIATRA-Generator-16903e592dc63501935b174e4aabbf9957186974.tar.zst VIATRA-Generator-16903e592dc63501935b174e4aabbf9957186974.zip |
String attributes are not mapped.
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src')
0 files changed, 0 insertions, 0 deletions