3 ms·
It might have more to do with the first release of Z3 being in 2012, with the first stable Rust release being in 2015. Rather than the authors of Z3 passing som
by onair4you 6mo ago
It might have more to do with the first release of Z3 being in 2012, with the first stable Rust release being in 2015. Rather than the authors of Z3 passing some kind of judgment on Rust…
- amelius 6mo agoZ3 uses a sophisticated and fast garbage collection scheme internally that doesn't mesh well with Rust idioms.
- invl 6mo agoIt's reference-counted at the boundaries. See https://github.com/Z3Prover/z3/blob/daf2506b6002149d531cb6c9d8ba976a040cd647/src/api/c%2B%2B/z3%2B%2B.h#L626 https://github.com/Z3Prover/z3/blob/daf2506b6002149d531cb6c9...