3 ms·
It'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
by invl 6mo ago
It'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...