GitHub repository: AlloyTools/models
Primary language: Alloy
Created: 2017-08-28T06:38:54Z
Description: A public repository to host Alloy models.  This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.