  $ 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
