Relación entre el Z3 y el concepto teórico de la máquina universal de Turing: era posible construir bucles en el Z3, pero no había ninguna instrucción de salto condicional (aunque hubiera sido sencillo añadir una).