Added Z3's implementation of the SMT interface