  $ sudo apt-get install 4ti2 clang coinor-cbc coinor-libcbc-dev fricas \
        graphviz libfile-slurp-perl libgiac-dev libgraphviz-dev libigraph-dev \
        libisl-dev libjson-perl libmongodb-perl libnauty-dev libperl-dev \
        libpolymake-dev libsvg-perl libtbb-dev libterm-readkey-perl \
        libterm-readline-gnu-perl libxml2-dev libxml-libxslt-perl \
        libxml-writer-perl lrslib pari-gp2c pdf2svg polymake sbcl xcas
