Installing Granule

Z3

Recommended: use homebrew.

brew install z3

If you don't have brew, first run

/usr/bin/ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)"

Alternative: download the precompiled binary and put it on your path, e.g., assuming the binary is located in ~/Downloads/z3/bin/:

mv ~/Downloads/z3/bin/z3 /usr/local/bin/z3

Recommended: install Z3 via your package manager of choice.

Alternative: download the precompiled binary and put it on your path.

curl -sSL https://get.haskellstack.org/ | sh

git clone https://github.com/granule-project/granule && cd granule && stack setup && stack install --test

If all tests do not pass, please open an issue with details.