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.
On Windows
gradlew.bat
script fails with error:Could not find or load main class org.gradle.wrapper.GradleWrapperMain
This is because
CLASSPATH
variable has value$APP_HOME/.gradle-wrapper/gradle-wrapper.jar
and variable$APP_HOME
is not expanded.How to fix: replace
$APP_HOME
with%APP_HOME%