$ sudo dnf install 4ti2 4ti2-devel bliss bliss-devel clang coin-or-Cbc \
      coin-or-Cbc-devel coxeter coxeter-devel coxeter-tools gdbm-devel gfan \
      giac giac-devel gp2c graphviz graphviz-devel gtest igraph igraph-devel \
      isl isl-devel libmongoc-devel libnauty libnauty-devel libsemigroups \
      libsemigroups-devel libuuid-devel libxml2-devel lrslib lrslib-devel \
      pari-galpol pari-seadata pdf2svg perl-Term-ReadLine-Gnu polymake sbcl \
      sirocco sirocco-devel tbb tbb-devel
