Installing the Analyzer

The Alloy Analyzer 6 is available here (the latest build) as a jar file and requires that Java to be installed on your machine.

The easiest way to install the tool is simply to download the org.alloytools.alloy.dist.jar file onto your Desktop and then launch it either by double clicking on its icon (Windows or Mac) or right-clicking the icon and then choosing “Open With java” (Linux).

Note: Mac users may want to install the Mac OS native version of the analyzer (alloy.dmg).

Using the Analyzer

Click on the Help menu in the Analyzer’s top bar for a quick guide on how to use the tool.