$ sudo zypper install 4ti2 4ti2-devel bliss bliss-devel coxeter fricas gdbm \
      gfan giac-devel googletest gp2c graphviz libxml2 libxml2-devel llvm \
      lrslib lrslib-devel mongo-c-driver pari-elldata pari-galpol \
      pari-nftables pari-seadata pdf2svg perl\(Term::ReadLine::Gnu\) \
      pkgconfig\(isl\) pkgconfig\(libsemigroups\) polymake polymake-devel sbcl \
      sirocco-devel symengine tbb
