Neuer Beitrag auf unserem Blog! Wir gehen durch eine vollständige Rust-Implementierung von Algorithmus 6 aus dem BDDT-Papier und kombinieren SVO- und Eq-Poly-Optimierungen in einem einzigen funktionierenden Beweiser.