Initial support for Z3. Yices is no longer supported starting from this revision.