package z3 up separate to the rest of the application