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

Disscussions about experiments with the Alloy code base

Alloy 6 is the current version of Alloy. It integrated successfully the Electrum code base. Alloy 6 now has variables and time operators.

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

This category is intended to discuss the new Alloy Java API. Any issue in its development is far game. It will likely touch on many deep dark implementation details of Alloy.

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