Nieuwe post op onze blog! We doorlopen een volledige Rust-implementatie van Algoritme 6 uit het BDDT-papier, waarbij SVO- en Eq-Poly-optimalisaties worden gecombineerd in een enkele werkende prover.