Remix.run Logo
Remix clone Hacker News
new | show | ask | jobsGithub
▲ volemo 8 hours ago

I personally like to avoid the “writing in C++” experience. :/

▲amelius 8 hours ago | parent [-]

The authors of a powerful solver package thought differently.

▲onair4you 8 hours ago | parent | next [-]

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 7 hours ago | parent [-]

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...

▲mcphage 6 hours ago | parent | prev [-]

The authors of a powerful solver package were solving a different problem than the users of a powerful solver package, and so different tools may be appropriate.