set -xe
pacman -S cvc4 coinor-cbc