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.
Typing ./gradlew only gets me the help. In the code sample you say
./gradlew build
; consistency will help me not screw it up and get confused