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

about summary refs log tree commit diff stats

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

blob: 960aa5d8651837bf47ffe0dafc13bd9169daca23 (plain) (blame)

Download alloy4.2_2015-02-22.jar from http://alloytools.org/download/alloy4.2_2015-02-22.jar and place here.