| ▲ | amelius 7 hours ago | |
Z3 uses a sophisticated and fast garbage collection scheme internally that doesn't mesh well with Rust idioms. | ||
| ▲ | invl 3 hours ago | parent [-] | |
It's reference-counted at the boundaries. See https://github.com/Z3Prover/z3/blob/daf2506b6002149d531cb6c9... | ||