  $ sudo zypper install 4ti2 4ti2-devel coxeter 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 texinfo
