  $ brew install apaffenholz/polymake/polymake cbc fricas gdbm googletest \
        graphviz igraph isl libxml2 llvm mongo-c-driver nauty pdf2svg sbcl \
        symengine tbb
