>Для задания сложных алгоритмов вычислений "Z3" позволяла использовать разработанный Конрадом Цьюзом так называемый "набор инструкций", включавший около десяти основных и несколько десятков дополнительных команд, являвшийся самым настоящим языком программирования
мне кажется, что этот язык подобен набиранию бинарника ручками ибо этот набор инструкций напоминает mmx, sse