You have to download and install a Java Virtual Machine first. For instance, AdoptOpenJDK should work (we tried Apalache with OpenJDK 11 and OpenJDK 15).
Once you have installed Java, download the latest release and unpack into a directory of your choice. Depending on your OS, you have two options.
Option 1: Linux, MacOS. You can run the script
./bin/apalache-mc. It is
Option 2: Windows. You have to run Java directly:
Check the application name in the directory
mod-distribution\target. It should be called
X.Y.Zis the release number, for instance, 0.8.0.
Run Java as follows:
java.exe -jar mod-distribution\target\apalache-pkg-X.Y.Z-RELEASE-full.jar <args>
<args> are explained in Running the Tool.
If you would like to contribute a command-line script for running Apalache in Windows, please open a pull request.