Partenaires
Home page > Software > Other > Alloy 4 Eclipse
Alloy 4 Eclipse
Alloy 4 Eclipse (A4E) is an eclipse plugin that allow to edit and check Alloy specifications the Eclipse way. It uses the SAT4J library default SAT solver.
That project was started as a Master student project under the supervision of Daniel Le Berre.
See online : project web site
In the same section :