Add Z3 package