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.