Новая запись в нашем блоге! Мы подробно рассматриваем полную реализацию на Rust Алгоритма 6 из статьи BDDT, объединяя оптимизации SVO и Eq-Poly в одном рабочем доказателе.