3 ms·The author might not know C++ and you don't need to use C++ to effectively use z3.by suddenlybananas 6mo agoThe author might not know C++ and you don't need to use C++ to effectively use z3.