There is a talk about it from one of the authors here: https://www.youtube.com/watch?v=gSKTfG1GXYQ https://www.youtube.com/watch?v=gSKTfG1GXYQ tl;dw Rust, a fa

There is a talk about it from one of the authors here: https://www.youtube.com/watch?v=gSKTfG1GXYQ https://www.youtube.com/watch?v=gSKTfG1GXYQ tl;dw Rust, a fast SAT solver, micro-optimisation of key components, caching, and hardlinks/CoW.