There are three ways to run Apalache:
- Prebuilt package: download a prebuilt package and run it in the JVM.
- Docker: download and run a Docker image.
- Build from source: build Apalache from sources and run the compiled package.
If you just want to try the tool, we recommend using the prebuilt package.
Memory: Apalache uses Microsoft Z3 as a backend SMT solver, and the required memory largely depends on Z3. We recommend to allocate at least 4GB of memory for the tool.