Nový příspěvek na našem blogu! Procházíme kompletní implementaci Algoritmu 6 v Rustu z článku BDDT, kombinující optimalizace SVO a Eq-Poly do jednoho funkčního proveréru.