set -xe
pacman -S cvc4 coin-or-cbc