Exercise of Formal Verification Courseware. Slides can be found here
- Install prerequisites
sudo apt-get install build-essential clang bison flex \
libreadline-dev gawk tcl-dev libffi-dev git \
graphviz xdot pkg-config python3 libboost-system-dev \
libboost-python-dev libboost-filesystem-dev
- Install all tools
git submodule update --init --recursive
./install.sh
- Add ./bin to $path
source sourceMe.bashrc
- Enjoy your exercise