Dear alloy users,
We are proud to announce today the availability of Alloy 4 Eclipse (A4E)
Milestone 2, a full featured Eclipse based front end to Alloy 4.
http://code.google.com/p/alloy4eclipse/Most of the features available in the original Alloy 4 GUI have been
replicated: evaluator, unsat core, etc.
Completed by the unique features provided by the Eclipse platform
(compile on save feature, refactoring of identifiers, etc.), it makes
Alloy 4 models design an enjoyable experience :)
The plugin ships with Alloy 4 RC20.
A4E is available both from an eclipse update site and from the
download section of the project site.
Please note that the unsat core feature requires sat solver libraries
(especially minisat one) to be properly configured on your system (see
http://code.google.com/p/alloy4eclipse/wiki/HowToInstall for
details).
Have fun,
The A4E team
--
Daniel Le Berre mailto:
leberre@...
MCF, CRIL-CNRS UMR 8188, Universite d'Artois
http://www.cril.univ-artois.fr/~leberre
