diff options
| author |  OszkarSemerath <semerath@mit.bme.hu> | 2019-06-01 21:57:35 -0400 |
|---|---|---|
| committer | OszkarSemerath <semerath@mit.bme.hu> | 2019-06-01 21:57:35 -0400 |
| commit | c1d468f71e0199ee7b2e421bd45258b4bdb5deb0 (patch) | |
| tree | 60f47b84912995a7640b777cd32294ff7bdbf8b2 /Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/lib/alloy4.2_2015-02-22.jar_GoesHere.txt | |
| parent | Inverse references works if opposite reference is pruned away. (diff) | |
| download | VIATRA-Generator-c1d468f71e0199ee7b2e421bd45258b4bdb5deb0.tar.gz VIATRA-Generator-c1d468f71e0199ee7b2e421bd45258b4bdb5deb0.tar.zst VIATRA-Generator-c1d468f71e0199ee7b2e421bd45258b4bdb5deb0.zip | |
Default state coder range set to Width, as it should be
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/lib/alloy4.2_2015-02-22.jar_GoesHere.txt')
0 files changed, 0 insertions, 0 deletions