alt Hacker NewsIf the tutorial uses Rust, why didn't they use a solver written in Rust? Z3 was written in C++.
Replies
suddenlybananas • today at 12:51 PM
What solver would you have them use? Z3 is very mature and the Rust bindings are pretty good in my (limited) experience.
➕ show 1 reply
I'm not sure I understand your argument. Z3's API is canonically C. There's a C++ wrapper that works pretty well. I don't have experience with the Rust wrapper, but I'd imagine that works pretty well too.