Alloy Analyzer

This is a local download site of Alloy Analyzer 4.2 for on-campus installation.

• See the official Alloy website for the latest version and off-campus installation.
• On-campus Mac OS X: download and open this dmg file.
• On-campus All Others: download and double-click this jar file. Or download the file then type java -jar alloy4.jar into a command prompt.

If you would like to use Eclipse IDE for Alloy code editing, then please install the Alloy4Eclipse plugin.

• On-campus Update Site URL: http://www.rose-hulman.edu/class/csse/binaries/Alloy/Alloy4Eclipse/
• Off-campus Update Site URL: http://alloy4eclipse.googlecode.com/svn/trunk/updatesite/