# needed dependencies
sudo apt-get install sqlite3 graphviz meld

# z3 (if doesnt work, go to http://z3.codeplex.com/SourceControl/latest#README, download and follow the instructions)
git clone https://git01.codeplex.com/z3
cd z3-*
./configure
python scripts/mk_make.py
cd build
make
sudo make install

# add a link to your llvm-installation path in /llvm-2.9/
sudo ln -s <your-llvm-path> /llvm-2.9

# compile
make 

# add bin to path
export PATH=$(pwd)/bin/:$PATH

# test
make test 

# See how it works
cd test/crest/math/ 
forest -verbose -see_each_problem