对于合金规范语言的一个Eclipse IDE

New now available from . 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 Main Features 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 univers

features
fr.univartois.cril.alloy4xtext_0.3.1.preview3.jar
plugins
fr.univartois.cril.alloyplugin.help_1.0.1.jar
fr.univartois.cril.xtext2.ui_1.0.0.201206060838.jar
fr.univartois.cril.xtext2_1.0.0.201206060838.jar
swingintegration.example_0.0.12.jar
artifacts.jar
content.jar