Z3 and Z3 Compact