Nytt innlegg på bloggen vår! Vi går gjennom en fullstendig Rust-implementering av Algoritme 6 fra BDDT-artikkelen, som kombinerer SVO- og Eq-Poly-optimaliseringer til én fungerende beviser.