Category Topics

Questions

Questions about using Alloy. If you got a stuck model, try to minimize it to the essence and post your question here.
18
18

models

Discussion and reviewing working models. (Stack overflow for non-working models)
13

Experimental

Disscussions about experiments with the Alloy code base
2

Alloy 6 (Electrum)

Electrum is a variant of Alloy that includes a var keyword and temporal logic operators. The plan is to integrate these features in the next release of Alloy, release 6. This category is intended to discuss related issues.
5
5

Site Feedback

Discussion about this site, its organization, how it works, and how we can improve it.

4

Software Abstractions

Daniel Jackson wrote the book about Alloy: Software Abstractions. This category discusses questions and ideas related to this book.
2