Alloy Plug-in for Eclipse / News: Recent posts

Please note that Alloy 3 (current version) uses 3rd party SAT solvers and the AT&T Graphviz program. This project is only meant for academic study and not aimed toward commercial work. (Thanks Derek for pointing that out to me)

This is our first attempt at writing a plug-in for Eclipse (also my first somewhat major Java project). Please pass along any tips/hints this way!