Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

A JetBrains plugin which adds support for the Alloy modeling language (http://alloytools.org/)

No description available

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

A public repository to host Alloy models. Feel free to add PR's to extend this database.

Examples and solutions to problems encountered when using Alloy and Alloy Analyzer - https://alloytools.org/