Community
Participate
Eclipse IDE
Add this URL to your Eclipse Installation to reach this solution's update site.
http://alloy4eclipse.googlecode.com/svn/trunk/updatesite/
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:
Markdown Syntax:
