News for hackers. Stuff that matters.

A comment on Alloy is an open source language and analyzer for software modeling. Parent comment

Re:Alloy is an open source language and analyzer for softwar... by BoiledCabbage on Saturday May 25, 2019 @04:14PM (#20011086)
Doesn't quite answer your question, but possibly in the docs here?

http://alloytools.org/documentation.html

Including tutorials

http://alloytools.org/tutorials/online/

http://alloytools.org/tutorials/day-course/

[ Parent | on HN ]

There are no comments on this comment yet.