    $ sudo apt-get install cmake coinor-cbc coinor-libcbc-dev libboost-dev libisl-dev libterm-readline-gnu-perl ninja-build pari-gp2c
