My undergraduate degree in CS covered Alloy, it was good fun to learn and solve problems with but I have to agree that the biggest pain point was definitely the

My undergraduate degree in CS covered Alloy, it was good fun to learn and solve problems with but I have to agree that the biggest pain point was definitely the limited documentation (even with access to the university's own resources). It's great to see improvements are on the horizon in this area! Edit: one of the other things I disliked about it was the GUI (it's Swing, IIRC). http://alloytools.org/workshop/slides/cunha-alloy.pdf http://alloytools.org/workshop/slides/cunha-alloy.pdf looks pretty cool and should probably be the future interface for the tool.