[Name] Alloy
[Summary] Alloy Analyser
[Description] Analyser for the Alloy language
[License] MIT
[Homepage] http://alloy.mit.edu/alloy4/
