SR1483010: add z3 pkg for H. Kido

	modified:   vars/packages.yml

vars/packages.yml

@@ -58,6 +58,7 @@ distro_pkgs:
   - openjdk-11-jdk
   - network-manager-vpnc-gnome
   - libcurl4-openssl-dev
+  - z3
 
 school_pkgs:
   - atom
@@ -108,4 +109,4 @@ uninstall_pkgs:
   - update-notifier
   - avahi-daemon # Remove to prevent printers being automatically found and added
   - avahi-utils # Dependency of avahi-daemon
-  - libnss-mdns # Dependency of avahi-daemon
\ No newline at end of file
+  - libnss-mdns # Dependency of avahi-daemon