eccyan / alloy_learning

alloy_learning

Install

Install alloytools

AlloyTools/org.alloytools.alloy

$ git clone git@github.com:AlloyTools/org.alloytools.alloy.git
$ cd org.alloytools.alloy
$ ./gradlew build

Run CLI

$ env ALLOY_DIST_JAR=<YOUR_ALLOY_JAR_PATH> ./cli src/*
Parsing+Typechecking... ok
Executing Run emptyDir for 7...
   2586 vars. 70 primary vars. 3815 clauses.

About

Languages

Language:Alloy 96.5%Language:Shell 3.5%