Meta Configuration of Package z3