#!/bin/bash -ex

set -eu -o pipefail

apt-get update
apt-get -y install z3