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