SAW Binaries

Linux 64-bit (Ubuntu 14.04)

Linux 64-bit (CentOS 7)

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 can make use of a variety of external tools, particularly SMT solvers. The set of SMT solvers we currently support is determined by Levent Erkök’s SBV package, and 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.