Setup

To install ESBMC on your machine, you should download the latest binary for Linux and Windows OSs from GitHub and save and unzip it on your disk.

Once the user unzips the release, they should read the license before running ESBMC. The ESBMC distribution is split into two directories:

• bin: contains a static-binary file of ESBMC;
• license: contains the ESBMC, Z3 and Boolector licenses.

If the user wants to use other SMT solvers (e.g., MathSAT, Yices, CVC4), we recommend checking out the ESBMC source code, which is hosted on GitHub, and then follow the instructions in the BUILDING file.