# Prerequisites

In order to run the examples in this tutorial, you will need to install the
following prerequisite tools:

* SAW itself, which can be installed by following the instructions
  [here](https://github.com/GaloisInc/saw-script#manual-installation).
* The Z3 and Yices SMT solvers. Z3 can be downloaded from
  [here](https://github.com/Z3Prover/z3/releases), and Yices can be downloaded
  from [here](https://yices.csl.sri.com/).
* The `mir-json` tool, which can be installed by following the instructions
  [here](https://github.com/GaloisInc/mir-json#installation-instructions).