  $ 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 pari-elldata pari-galpol pari-nftables \
        pari-seadata pdf2svg perl\(Term::ReadLine::Gnu\) pkgconfig\(isl\) \
        pkgconfig\(libsemigroups\) polymake sbcl sirocco-devel symengine tbb
