  $ sudo pacman -S  4ti2 clang coin-or-cbc coxeter graphviz graphviz igraph libxml2 lrs ninja pari-elldata pari-galpol pari-seadata pdf2svg perl-term-readline-gnu polymake
