    $ sudo apt-get install boost cmake coin-or-cbc coinor-cbc coinor-libcbc-dev libboost-dev libisl-dev libterm-readline-gnu-perl ninja ninja-build pari-elldata pari-galpol pari-gp2c pari-nftables pari-seadata perl-term-readline-gnu
