Comment by croes

> Nevertheless, the Z3 was Turing-complete – how to implement a universal Turing machine on the Z3 was shown in 1998 by Raúl Rojas.

https://en.wikipedia.org/wiki/Z3_(computer)