$ sudo pacman -S 4ti2 bliss clang coin-or-cbc coxeter gdbm gfan giac graphviz \
      gtest igraph intel-oneapi-tbb libxml2 lrs mongo-c-driver msolve \
      pari-elldata pari-galpol pari-seadata pdf2svg perl-term-readline-gnu \
      polymake sbcl sirocco symengine util-linux-libs
