News for hackers. Stuff that matters.
Re:Alloy is an open source language and analyzer for softwar... by hcs on Saturday May 25, 2019 @06:03PM (#20011733)
Those diagrams are of data structures, not algorithms. Here's an example: http://alloytools.org/quickguide/vizview.html
Re:Alloy is an open source language and analyzer for softwar... by anigbrowl on Sunday May 26, 2019 @06:01PM (#20017845)
I mean, the first question in the FAQ is about those diagrams so maybe it should include an example of one? Usually when I'm evaluating a new project I am not so interested in figuring out what it can do if that isn't clearly communicated up front.