  $ sudo zypper install 4ti2 4ti2-devel bliss bliss-devel coxeter fricas gp2c graphviz libxml2 llvm lrslib lrslib-devel pari-elldata pari-galpol pari-nftables pari-seadata pdf2svg perl(Term::ReadLine::Gnu) pkgconfig(isl) pkgconfig(libsemigroups) polymake python3${PYTHON_MINOR}-texttable R-base tbb
