add depedency to z3