Clone of z3