Новий допис у нашому блозі! Ми проходимо повну реалізацію Алгоритму 6 у Rust зі статті BDDT, поєднуючи оптимізації SVO та Eq-Poly в єдиний робочий доказ.