USER REVIEWS
This is an attempt to provide a more user-friendly editor using the eclipse platform for the alloy language. Please see MIT's Alloy website for any questions regarding the language (alloy.mit.edu).
WRITE USER REVIEW