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.
Other
696
stars
124
forks
source link
suggestion: clone URL that works without SSH setup #114
It's a public repo, but git@github.com: clone URL still fails authentication.
The https one just works.
Most of us are not going to be pushing to this repo, we just want to install the tool.
It's a public repo, but git@github.com: clone URL still fails authentication. The https one just works. Most of us are not going to be pushing to this repo, we just want to install the tool.