Alloy 4 Eclipse 0.3.0

0  
0

Drag to Install!

Drag to your running Eclipse Indigo workspace.

Embed this button on your website

Add this URL to your Eclipse Installation to reach this Solution's Update Site.
More Info


Categories:

Login or register to tag items

The aim of that plugin is to provide a first class Eclipse integration for the Alloy 4 specification language developed at the MIT (http://alloy.mit.edu/). The release 0.3.0 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/).

Additional Details

  • Version Number: 0.3.0
  • Eclipse Versions: 3.6+
  • Organization: CRIL-CNRS UMR 8188 Université d'Artois
  • Date Created: 24/05/2011
  • Date Updated: 02/06/2011
  • Development Status: Beta
  • License: LGPL
  • Submitted by: Daniel Le Berre
  • This listing has been installed 11 times in the last 30 days.

Reviews

Add a Review