downloads

Alloy 4 is a self-contained executable, which includes the Kodkod model finder and a variety of SAT solvers, as well as the standard Alloy library and a collection of tutorial examples. The same jar file can be incorporated into other applications to use Alloy as an API, and includes the source code. See the release notes for details of new features. To execute, simply double-click on the jar file, or type java -jar alloy4.jar in a console.

Current Releases

alloy4.2.dmg

Alloy 4.2 for OS X. Requires Java 6.

alloy4.2.jar

Alloy 4.2 for Linux and Windows. Requires Java 6.

alloy4.dmg

Alloy 4.1 release for OS X. Requires Java 5.

alloy4.jar

Alloy 4.1 release for Linux and Windows. Requires Java 5.

Previous Releases

Older versions are available here.