Set up a place for Z3 to be downloaded and built:
cd ~ # change to home folderOnce we are there, we can basically follow the readme instructions:
mkdir repositories # create a folder called "repositories"
cd repositories # go there
git clone https://git01.codeplex.com/z3 # downloads z3 source codeThe last step is setting execute permissions on Z3:
chmod 751 z3That's it! Now you can run Z3 from this path. Try it now: