support z3 installation on 18.04
@@ -149,8 +149,10 @@ install_z3_ubuntu() {
declare -A MD5_HASH
X64_1404="x64-14.04"
X64_1604="x64-16.04"
+ X64_1604="x64-18.04"
MD5_HASH["${X64_1404}"]="d3d22fa5e6e95081e504c2f577d7767a"
MD5_HASH["${X64_1604}"]="768fbd790c1921276f8522cfe5c421e8"
+ MD5_HASH["${X64_1804}"]="a7c550356527eac59da384860ea29580"
MACHINE="$(uname -m)"
if [ "${MACHINE}" = "x86_64" ]; then
ARCH="x64"
