Is there a minimal example showing automatically created compile-able code from ...

anigbrowl · on May 25, 2019

http://alloytools.org/faq/can_you_print_or_capture_the_diagr...

Likewise I searched in vain for one of these diagrams. It sounds interesting but the 'GUI' is just two text windows and a toolbar that look straight out of 1996 which doesn't bode well.

hcs · on May 25, 2019

Those diagrams are of data structures, not algorithms. Here's an example: http://alloytools.org/quickguide/vizview.html

anigbrowl · on May 26, 2019

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.

hwayne · on May 25, 2019

There aren't that many public diagrams, so I whipped up a quick example of spec and diagram here: https://gist.github.com/hwayne/2619df2dd7055a57de96f8769c37f....

BoiledCabbage · on May 25, 2019

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/