SAW binaries for Linux and macOS are available from the GitHub releases page. Binaries are distributed as
.zip files which you can extract to a location of your choice.
Nightly builds are also available here.
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.
SAW is freely available under the 3-clause BSD license.