The Z3 was demonstrated in 1998 to be, in principle, Turing-complete.
Z3는 1998년 원론적으로 튜링 완전을 위해 시연되었다.