# Get SAW

## Download a Binary

* [Linux (Ubuntu 22.04)](https://github.com/GaloisInc/saw-script/releases/download/v1.5/saw-1.5-ubuntu-22.04-X64.tar.gz) ([GPG Signature](https://github.com/GaloisInc/saw-script/releases/download/v1.5/saw-1.5-ubuntu-22.04-X64.tar.gz.sig))
* [Linux (Ubuntu 24.04)](https://github.com/GaloisInc/saw-script/releases/download/v1.5/saw-1.5-ubuntu-24.04-X64.tar.gz) ([GPG Signature](https://github.com/GaloisInc/saw-script/releases/download/v1.5/saw-1.5-ubuntu-24.04-X64.tar.gz.sig))
* [macOS 15 (X64)](https://github.com/GaloisInc/saw-script/releases/download/v1.5/saw-1.5-macos-15-intel-X64.tar.gz) ([GPG Signature](https://github.com/GaloisInc/saw-script/releases/download/v1.5/saw-1.5-macos-15-intel-X64.tar.gz.sig))
* [macOS 15 (ARM64)](https://github.com/GaloisInc/saw-script/releases/download/v1.5/saw-1.5-macos-15-ARM64.tar.gz) ([GPG Signature](https://github.com/GaloisInc/saw-script/releases/download/v1.5/saw-1.5-macos-15-ARM64.tar.gz.sig))
* [Windows](https://github.com/GaloisInc/saw-script/releases/download/v1.5/saw-1.5-windows-2022-X64.tar.gz) ([GPG Signature](https://github.com/GaloisInc/saw-script/releases/download/v1.5/saw-1.5-windows-2022-X64.tar.gz.sig))

SAW binaries for Linux and macOS are available from the GitHub [releases page](https://github.com/GaloisInc/saw-script/releases). Binaries are distributed as .tar.gz or .zip files which you can extract to a location of your choice.

Nightly builds are also available [here](https://github.com/GaloisInc/saw-script/actions?query=event%3Aschedule).

GPG signatures are available for each release, and we encourage you to [check the signature](http://gnupg.org/gph/en/manual/x135.html) against our [public key](/saw/download/get-saw/public-key.md) before installing to ensure the integrity of the release you downloaded.

SAW is also available for [Docker](https://github.com/orgs/galoisinc/packages/container/package/saw) and can be fetched using one of the following commands (for the REPL and RPC API, respectively):

```docker
docker pull ghcr.io/galoisinc/saw:1.5
docker pull ghcr.io/galoisinc/saw-remote-api:1.5
```

Nightly versions of the Docker images are also available:

```docker
docker pull ghcr.io/galoisinc/saw:nightly
docker pull ghcr.io/galoisinc/saw-remote-api:nightly
```

## Dependencies

SAW can make use of a variety of external tools, particularly SMT solvers. Due to SAW’s use of [Cryptol](/cryptol/cryptol-the-language-of-cryptography.md), the Z3 solver is a strict dependency for Cryptol type checking.

The full set of SMT solvers we currently support for other verification tasks is determined by Levent Erkök’s [SBV](http://hackage.haskell.org/package/sbv) package and Galois’ [What4](https://github.com/galoisinc/what4) package. This set currently includes ABC, Boolector, CVC4, CVC5, MathSAT, Yices, and Z3. These solvers can be downloaded from their respective developers at the locations below.

* [ABC](https://github.com/berkeley-abc/abc) from UC Berkeley
* [Boolector](http://fmv.jku.at/boolector/) from Johannes Kepler University Linz
* [CVC4](http://cvc4.cs.nyu.edu/downloads/) from New York University
* [CVC5](https://cvc5.github.io/) from Stanford University and the University of Iowa
* [MathSAT](http://mathsat.fbk.eu/download.html) from Fondazione Bruno Kessler
* [Yices](http://yices.csl.sri.com/) from SRI International
* [Z3](https://github.com/Z3Prover/z3/releases) from Microsoft Research

As of release v1.1, we also provide binary packages for SAW that include compatible versions of a variety of solvers. Look for archive files that have with-solvers in the filename on the [v1.5 release page](https://github.com/GaloisInc/saw-script/releases/tag/v1.4).

<br>


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://tools.galois.com/saw/download/get-saw.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.