The aim of this project is to allow the specification and analysis of models in the Alloy4 language on the Eclipse platform.

Check out the MainFeatures for details on current and upcoming features of the plugin.

Alloy is powered in part by the pure Java SAT solver

This plugin was developed by Antoine Bourre and Francois Blarel, students from Artois University, as a 4th year university project from January to May 2007, under the supervision of Daniel Le Berre. The plugin is maintained by CRIL. Romuald Druelle and Lionel Desruelles continued the development of the plugin from January to April 2008. Another group of students is expected to continue the development of the plugin full-time in April and May 2009.

Some icons in the outline view are coming from the other Eclipse plugin for alloy Alloy On Eclipse.