Archive

For Linux: ESBMC-Linux.sh.

For MacOS: ESBMC-Darwin.sh. You need to have the Command Line Tools for Xcode, which can be downloaded here.