SAW Binaries

Linux 64-bit (Ubuntu 14.04) Linux 64-bit (CentOS 6) Linux 32-bit (CentOS 6)

OS X 64-bit Windows

SAW binaries for Linux, Mac OS X, and Windows 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.

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.