logoalt Hacker News

ameliusyesterday at 12:55 PM3 repliesview on HN

I would write the tutorial in C++, for a more direct experience.


Replies

Arainachyesterday at 2:33 PM

There's nothing "more direct" - the different APIs for different languages call into the same underlying library, and most of them are more accessible and easier to work with than C++.

Z3 is presumably written in C++ for performance, but without data I am very confident the vast majority of programs that use Z3 consume it via one of the other APIs.

volemoyesterday at 1:12 PM

I personally like to avoid the “writing in C++” experience. :/

show 1 reply
suddenlybananasyesterday at 1:38 PM

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