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