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