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