Posting baru di blog kami! Kami membahas implementasi Rust lengkap dari Algoritma 6 dari makalah BDDT, menggabungkan pengoptimalan SVO dan Eq-Poly menjadi satu pemuji kerja.