  $ sudo zypper install 4ti2 4ti2-devel bliss bliss-devel coxeter fricas gdbm \
        googletest 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 sbcl symengine tbb
