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