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
better, add the
./bin directory to your
PATH and run
Option 2: Windows. You have to run Java directly with
java.exe -jar ./lib/apalache.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.