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 /Solvers | |
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
Diffstat (limited to 'Solvers')
-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 | ||