The author might not know C++ and you don't need to use C++ to effectively use z3.