alloy4.2_2015-02-22.jar_GoesHere.txt « lib « hu.bme.mit.inf.dlsreasoner.alloy.reasoner « Alloy-Solver2 « Solvers - VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

about summary refs log tree commit diff stats

path: root/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/lib/alloy4.2_2015-02-22.jar_GoesHere.txt

blob: 0df6fddc221ba0c0e589168b425bd82d7896d639 (plain) (blame)

Download alloy4.2_2015-02-22.jar from http://alloy.mit.edu/alloy/downloads/alloy4.2_2015-02-22.jar and place here.