diff options
| author |  Oszkar Semerath <semerath@mit.bme.hu> | 2019-06-25 18:52:41 +0200 |
|---|---|---|
| committer | Oszkar Semerath <semerath@mit.bme.hu> | 2019-06-25 18:52:41 +0200 |
| commit | 79574a45380a850cd8f24945a9a7c5b871b7f4c2 (patch) | |
| tree | efdd0c66ededb1914ed0c660b1da2115e551f0e0 | |
| parent | Default state coder range set to Width, as it should be (diff) | |
| download | VIATRA-Generator-79574a45380a850cd8f24945a9a7c5b871b7f4c2.tar.gz VIATRA-Generator-79574a45380a850cd8f24945a9a7c5b871b7f4c2.tar.zst VIATRA-Generator-79574a45380a850cd8f24945a9a7c5b871b7f4c2.zip | |
Updated link to Alloy
| -rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/lib/alloy4.2_2015-02-22.jar_GoesHere.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/lib/alloy4.2_2015-02-22.jar_GoesHere.txt b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/lib/alloy4.2_2015-02-22.jar_GoesHere.txt index 0df6fddc..960aa5d8 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/lib/alloy4.2_2015-02-22.jar_GoesHere.txt +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/lib/alloy4.2_2015-02-22.jar_GoesHere.txt | |||
| @@ -1 +1 @@ | |||
| Download alloy4.2_2015-02-22.jar from http://alloy.mit.edu/alloy/downloads/alloy4.2_2015-02-22.jar and place here. \ No newline at end of file | Download alloy4.2_2015-02-22.jar from http://alloytools.org/download/alloy4.2_2015-02-22.jar and place here. \ No newline at end of file | ||