Alloy Models

A public repository to host Alloy models.

This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs. All models are free to use and expand under the Apache 2 License.

We are actively seeking contributions and improvements. Just submit a PR, see the CONTRIBUTING for the rules.

If you're not familiar with Github you can read how to add a file to another repository to find out how to add a Pull Request (PR). (This is simpler than you think.)

You can also look at this short video that shows how to propose a new model.

To propose a change to an existing model, just click the file you want to change and edit it by clicking on the pen in the top right corner.