Add this URL to your Eclipse Installation to reach this solution's update site.
The aim of that plugin is to provide a first class Eclipse integration for the Alloy 4 specification language and tool developed at the MIT (http://alloy.mit.edu/). The release 0.3.x is based on Xtext (http://www.eclipse.org/Xtext/) and uses by default the SAT solver that ships with the Eclipse platform, Sat4j (http://www.sat4j.org/).
The release 0.3.1 adds support for Xtext 2 to release 0.3.0 that was compatible only with Xtext 1.0.
Unsuccessful Installs in the last 7 Days: 0
By adding the following code below to your website you will be able to add an install button for Alloy 4 Eclipse.HTML Code: