Installation

Install the basic tools:

• CBMC: Follow the instructions on the CBMC release page.
• CBMC viewer: Follow the instructions on the CBMC viewer release page.

Install the supporting tools (we assume you already have a C compiler and Python3):

• CBMC viewer will require exuberant ctags.
• CBMC starter kit will require ninja and gnuplot and graphviz and the python packages jinja and voluptuous.

We recommend that you install these supporting tools now since they are so easy to install:

On MacOS:   
  brew install ctags ninja gnuplot graphviz
  sudo python3 -m pip install jinja2 voluptuous

On Ubuntu:  
  sudo apt-get install ctags ninja-build gnuplot graphviz
  sudo python3 -m pip install jinja2 voluptuous

On Windows: 
  ctags: Download from https://sourceforge.net/projects/ctags
  ninja: Download from https://github.com/ninja-build/ninja/releases
  gnuplot: Download from http://www.gnuplot.info/download.html
  graphviz: Download from https://graphviz.org/download/
  python3 -m pip install jinja2 voluptuous