There are three ways to run Apalache:

  1. JVM: download a prebuilt package and run it in the JVM.
  2. Docker: download and run a Docker image.
  3. Source: build Apalache from sources and run the compiled package.

If you just want to try the tool, we recommend downloading the release or pulling the docker image. If you would like to run the tool on a daily basis or contribute to the project, we recommend building the project from the source.