  $ sudo apt-get install 4ti2 clang coinor-cbc coinor-libcbc-dev fricas gfan \
        googletest graphviz libgdbm-dev libgiac-dev libgraphviz-dev \
        libigraph-dev libisl-dev libmongoc-dev libnauty-dev libpolymake-dev \
        libtbb-dev libterm-readline-gnu-perl libxml2-dev lrslib pari-gp2c \
        pdf2svg polymake sbcl uuid-dev xcas
