# 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](https://tools.galois.com/saw/download/get-saw/public-key) 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](https://app.gitbook.com/s/PO8NU83T8kSMeYSiIV9h/), 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>