documentation

CVC4 · May 9, 2019 · 3365094 · 3365094
1 parent 31c334e
commit 3365094
Showing 2 changed files with 1 addition and 0 deletions.
diff --git a/bin/alloy_cvc4.jar b/bin/alloy_cvc4.jar
diff --git a/bin/guidelines.md b/bin/guidelines.md
@@ -6,6 +6,7 @@ CVC4 binaries for Windows, macOS and Linux are included in the release [alloy_cv
 git clone https://github.com/CVC4/org.alloytools.alloy
 cd org.alloytools.alloy     
 git checkout cvc4
+./gradlew alloyCVC4
 cd bin
 java -jar alloy_cvc4.jar     
 ```