# Categories

[Latest](https://alloytools.discourse.group/latest.md) · [Categories](https://alloytools.discourse.group/categories.md)

## [Questions](https://alloytools.discourse.group/c/questions/9.md)

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

## [Experimental](https://alloytools.discourse.group/c/experimental/8.md)

Disscussions about experiments with the Alloy code base

## [Alloy 6](https://alloytools.discourse.group/c/alloy-6/7.md)

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

## [Uncategorized](https://alloytools.discourse.group/c/uncategorized/1.md)

## [models](https://alloytools.discourse.group/c/discussion-of-alloy-models/5.md)

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

## [Tooling](https://alloytools.discourse.group/c/information-about-the-tools/6.md)

## [Software Abstractions](https://alloytools.discourse.group/c/daniel-jacksons-seminal-book-about-alloy/11.md)

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

## [API Issues](https://alloytools.discourse.group/c/issues-around-the-development-of-an-abstract-java-api-on-top-of-alloy/12.md)

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.

## [Site Feedback](https://alloytools.discourse.group/c/site-feedback/2.md)

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