set -xe
apt-get install cvc4 coinor-cbc coinor-libcbc-dev m4