Hacker News new | ask | show | jobs
by invl 64 days ago
It's reference-counted at the boundaries. See https://github.com/Z3Prover/z3/blob/daf2506b6002149d531cb6c9...