SAW Binaries

Ubuntu Linux 64-bit

macOS 64-bit

SAW binaries for Linux and macOS are available from the GitHub releases page. 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.

GPG signatures are available for each release, and we encourage you to check the signature against our public key before installing to ensure the integrity of the release you downloaded.

SAW is also available for Docker and can be fetched using one of the following commands (for the REPL and RPC API, respectively):

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

Dependencies

SAW can make use of a variety of external tools, particularly SMT solvers. Due to SAW’s use of Cryptol, 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 package and Galois’ What4 package. This set currently includes ABC, Boolector, CVC4, MathSAT, Yices, and Z3. These solvers can be downloaded from their respective developers at the locations below.

  • ABC from UC Berkeley
  • Boolector from Johannes Kepler University Linz
  • CVC4 from New York University
  • MathSAT from Fondazione Bruno Kessler
  • Yices from SRI International
  • Z3 from Microsoft Research

Licensing Terms

SAW is freely available under the 3-clause BSD license.