Doesn't quite answer your question, but possibly in the docs here? http://alloytools.org/documentation.html http://alloytools.org/documentation.html Including

Doesn't quite answer your question, but possibly in the docs here? http://alloytools.org/documentation.html http://alloytools.org/documentation.html Including tutorials http://alloytools.org/tutorials/online/ http://alloytools.org/tutorials/online/ http://alloytools.org/tutorials/day-course/ http://alloytools.org/tutorials/day-course/